@article(Abadi2016,
 author       = {Mart{\'{\i}}n Abadi and Bruno Blanchet and C{\'{e}}dric Fournet},
 year         = {2018},
 title        = {The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication},
 journal      = {J. {ACM}},
 volume       = {65},
 number       = {1},
 pages        = {1:1--1:41},
 doi          = {10.1145/3127586},
)
@book(aceto2007reactive,
 author       = {Luca Aceto and Anna Ing\'{o}lfsd\'{o}ttir and Jiri Srba and Kim Guldstrand Larsen},
 year         = {2007},
 title        = {Reactive systems : modelling, specification and verification},
 publisher    = {Cambridge University Press},
 address      = {Cambridge, UK New York},
 doi          = {10.1017/CBO9780511814105},
)
@article(Bengtson2011,
 author       = {Jesper Bengtson and Magnus Johansson and Joachim Parrow and Bj{\"{o}}rn Victor},
 year         = {2011},
 title        = {Psi-calculi: a framework for mobile processes with nominal data and logic},
 journal      = {Logical Methods in Computer Science},
 volume       = {7},
 number       = {1},
 doi          = {10.2168/LMCS-7(1:11)2011},
)
@inproceedings(Bergstra1988,
 author       = {J. A. Bergstra and J. W. Klop},
 year         = {1989},
 title        = {Process theory based on bisimulation semantics},
 editor       = {J. W. de Bakker and W. P. de Roever and G. Rozenberg},
 booktitle    = {Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {50--122},
 doi          = {10.1007/BFb0013021},
)
@inproceedings(Hirshfeld1994,
 author       = {Yoram Hirshfeld and Faron Moller},
 year         = {1994},
 title        = {A Fast Algorithm for Deciding Bisimilarity of Normed Context-Free Processes},
 booktitle    = {{CONCUR}'94: Concurrency Theory},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {48--63},
 doi          = {10.1007/978-3-540-48654-1\_5},
)
@inproceedings(Honda1998,
 author       = {Kohei Honda and Vasco Thudichum Vasconcelos and Makoto Kubo},
 year         = {1998},
 title        = {Language Primitives and Type Discipline for Structured Communication-Based Programming},
 booktitle    = {Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems},
 series       = {ESOP '98},
 publisher    = {Springer-Verlag},
 address      = {London, UK, UK},
 pages        = {122--138},
 doi          = {10.1007/bfb0053567},
)
@inproceedings(Huttel2016,
 author       = {Hans H{\"u}ttel},
 year         = {2016},
 title        = {Binary Session Types for Psi-Calculi},
 editor       = {Atsushi Igarashi},
 booktitle    = {Programming Languages and Systems},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {96--115},
 doi          = {10.1007/978-3-319-47958-3\_6},
)
@book(DBLP:books/daglib/0098267,
 author       = {Robin Milner},
 year         = {1999},
 title        = {Communicating and mobile systems - the Pi-calculus},
 publisher    = {Cambridge University Press},
)
@article(ThiemannVasco2016,
 author       = {Peter Thiemann and Vasco T. Vasconcelos},
 year         = {2016},
 title        = {Context-free Session Types},
 journal      = {SIGPLAN Not.},
 volume       = {51},
 number       = {9},
 pages        = {462--475},
 doi          = {10.1145/3022670.2951926},
)
@article(Vasco2011,
 author       = {Vasco T. Vasconcelos},
 year         = {2011},
 title        = {Sessions, from Types to Programming Languages},
 journal      = {Bulletin of the European Association for Theoretical Computer Science},
 volume       = {103},
 pages        = {54--73},
 doi          = {10.1.1.228.6236},
 url          = {http://eatcs.org/images/bulletin/beatcs103.pdf},
)