@online{huangndprocess,
  author       = {Huang, Xuanqiang Angelo},
  title        = {Process Calculus},
  organization = {Xuanqiang Angelo Huang's Blog},
  url          = {https://flecart.github.io/notes/process-calculus/},
  langid       = {english},
  abstract     = {Process Calculus and Session Types (Honda, Yoshida, Carbone) \# Historical Lineage and Motivation \# The process calculus literature on session types originates from the fundamental insight that communication itself can be typed . Just as data types codify the structure of data, se}
}