@article(Baeten1987129,
 author       = {J. C. M. Baeten and J. A. Bergstra and J. W. Klop},
 year         = {1987},
 title        = {{On the consistency of Koomen's Fair Abstraction Rule}},
 journal      = {Theoretical Computer Science},
 volume       = {51},
 number       = {1–2},
 pages        = {129 -- 176},
 doi          = {10.1016/0304-3975(87)90052-1},
)
@book(baeten2010,
 author       = {Jos C. M. Baeten and Twan Basten and Michel A. Reniers},
 year         = {2010},
 title        = {Process algebra: equational theories of communicating processes},
 volume       = {50},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781139195003},
)
@article(BLT2013,
 author       = {Jos C. M. Baeten and Bas Luttik and Paul van Tilburg},
 year         = {2013},
 title        = {{Reactive Turing Machines}},
 journal      = {Inform. Comput.},
 volume       = {231},
 pages        = {143--166},
 doi          = {10.1016/j.ic.2013.08.010},
)
@article(Bas96,
 author       = {Twan Basten},
 year         = {1996},
 title        = {Branching Bisimilarity is an Equivalence Indeed!},
 journal      = {Inf. Process. Lett.},
 volume       = {58},
 number       = {3},
 pages        = {141--147},
 doi          = {10.1016/0020-0190(96)00034-8},
)
@inproceedings(BKLT13,
 author       = {Mikolaj Bojanczyk and Bartek Klin and Slawomir Lasota and Szymon Torunczyk},
 year         = {2013},
 title        = {Turing Machines with Atoms},
 booktitle    = {28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2013, New Orleans, LA, USA, June 25-28, 2013},
 publisher    = {{IEEE} Computer Society},
 pages        = {183--192},
 doi          = {10.1109/LICS.2013.24},
)
@article(Busi2009,
 author       = {Nadia Busi and Maurizio Gabbrielli and Gianluigi Zavattaro},
 year         = {2009},
 title        = {On the expressive power of recursion, replication and iteration in process calculi},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {19},
 number       = {06},
 pages        = {1191--1222},
 doi          = {10.1017/S096012950999017X},
)
@article(eberbach2007,
 author       = {Eugene Eberbach},
 year         = {2007},
 title        = {The \$-calculus process algebra for problem solving: A paradigmatic shift in handling hard computational problems},
 journal      = {Theoretical Computer Science},
 volume       = {383},
 number       = {2},
 pages        = {200--243},
 doi          = {10.1016/j.tcs.2007.04.012},
)
@unpublished(Fu14,
 author       = {Yuxi Fu},
 year         = {2014},
 title        = {Theory of Interaction},
 url          = {http://basics.sjtu.edu.cn/~yuxi/},
)
@article(Fu2010,
 author       = {Yuxi Fu and Hao Lu},
 year         = {2010},
 title        = {On the expressiveness of interaction},
 journal      = {Theoretical Computer Science},
 volume       = {411},
 number       = {11–13},
 pages        = {1387 -- 1451},
 doi          = {10.1016/j.tcs.2009.11.011},
)
@article(Glabbeek1996,
 author       = {R. J. van Glabbeek and W. Peter Weijland},
 year         = {1996},
 title        = {Branching time and abstraction in bisimulation semantics},
 journal      = {Journal of the ACM (JACM)},
 volume       = {43},
 number       = {3},
 pages        = {555--600},
 doi          = {10.1145/233551.233556},
)
@inproceedings(Glabbeek1993,
 author       = {Rob J. van Glabbeek},
 year         = {1993},
 title        = {{The linear time — branching time spectrum II}},
 booktitle    = {CONCUR'93},
 organization = {Springer},
 pages        = {66--81},
 doi          = {10.1007/3-540-57208-2\_6},
)
@article(Glabbeek2009,
 author       = {Rob J. van Glabbeek and Bas Luttik and Tr{\v{c}}ka, Nikola},
 year         = {2009},
 title        = {Branching bisimilarity with explicit divergence},
 journal      = {Fundamenta Informaticae},
 volume       = {93},
 number       = {4},
 pages        = {371--392},
 doi          = {10.3233/FI-2009-109},
)
@article(Gorla10,
 author       = {Daniele Gorla},
 year         = {2010},
 title        = {Towards a unified approach to encodability and separation results for process calculi},
 journal      = {Inf. Comput.},
 volume       = {208},
 number       = {9},
 pages        = {1031--1053},
 doi          = {10.1016/j.ic.2010.05.002},
)
@incollection(Milner1990,
 author       = {Robin Milner},
 year         = {1990},
 title        = {Functions as processes},
 editor       = {Michael S. Paterson},
 booktitle    = {Automata, Languages and Programming},
 series       = {Lecture Notes in Computer Science},
 volume       = {443},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {167--180},
 doi          = {10.1007/BFb0032030},
)
@article(Milner1992,
 author       = {Robin Milner and Joachim Parrow and David Walker},
 year         = {1992},
 title        = {{A calculus of mobile processes, I \& II}},
 journal      = {Information and computation},
 volume       = {100},
 number       = {1},
 pages        = {1--77},
 doi          = {10.1016/0890-5401(92)90008-4},
)
@phdthesis(Pet62,
 author       = {C. A. Petri},
 year         = {1962},
 title        = {{Kommunikation mit Automaten.}},
 school       = {Bonn: Institut f{\"u}r Instrumentelle Mathematik, Schriften des IIM Nr. 2},
)
@inproceedings(Phi93,
 author       = {I. C. C. Phillips},
 year         = {1993},
 title        = {A Note on Expressiveness of Process Algebra},
 editor       = {G. L. Burn and S. Gay and M. D. Ryan},
 booktitle    = {Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods},
 series       = {Workshops in Computing},
 publisher    = {Springer-Verlag},
 pages        = {260--264},
 doi          = {10.1007/978-1-4471-3503-6\_20},
)
@book(SW01,
 author       = {Davide Sangiorgi and David Walker},
 year         = {2001},
 title        = {The Pi-Calculus - a theory of mobile processes},
 publisher    = {Cambridge University Press},
)
@article(Turing1936,
 author       = {Alan Mathison Turing},
 year         = {1936},
 title        = {{On computable numbers, with an application to the Entscheidungsproblem}},
 journal      = {J. of Math},
 volume       = {58},
 pages        = {345--363},
)