@article(Baeten:2005:BHP:1085667.1085669,
 author       = {J.~C.~M. Baeten},
 year         = {2005},
 title        = {{A Brief History of Process Algebra}},
 journal      = {Theor. Comput. Sci.},
 volume       = {335},
 number       = {2-3},
 pages        = {131--146},
 doi          = {10.1016/j.tcs.2004.07.036},
)
@inproceedings(DBLP:conf/pstv/Brinksma85,
 author       = {E.~Brinksma},
 year         = {1985},
 title        = {A tutorial on {LOTOS}},
 booktitle    = {Proc. of PSTV},
 pages        = {171--194},
)
@inproceedings(DBLP:conf/icalp/Brookes83,
 author       = {S.~D. Brookes},
 year         = {1983},
 title        = {On the Relationship of {CCS} and {CSP}},
 booktitle    = {Proc. of ICALP},
 series       = {LNCS},
 volume       = {154},
 pages        = {83--96},
 doi          = {10.1007/BFb0036899},
)
@inproceedings(7092761,
 author       = {H.~Evrard and F.~Lang},
 year         = {2015},
 title        = {Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes},
 booktitle    = {Proc. of PDP},
 publisher    = {IEEE},
 pages        = {459--466},
 doi          = {10.1109/PDP.2015.96},
)
@inproceedings(DBLP:journals/corr/abs-1208-2750,
 author       = {R.~van Glabbeek},
 year         = {2012},
 title        = {{Musings on Encodings and Expressiveness}},
 booktitle    = {Proc. of EXPRESS/SOS},
 series       = {EPTCS},
 volume       = {89},
 pages        = {81--98},
 doi          = {10.4204/EPTCS.89.7},
)
@article(gorla10,
 author       = {D.~Gorla},
 year         = {2010},
 title        = {{Towards a Unified Approach to Encodability and Separation Results for Process Calculi}},
 journal      = {Information and Computation},
 volume       = {208},
 number       = {9},
 pages        = {1031--1053},
 doi          = {10.1016/j.ic.2010.05.002},
)
@techreport(hatzelTechRep15,
 author       = {M.~Hatzel and C.~Wagner and K.~Peters and U.~Nestmann},
 year         = {2015},
 title        = {{Encoding CSP into CCS (Extended Version)}},
 type         = {Technical Report},
 url          = {http://arxiv.org/abs/1508.01127},
)
@article(hoare:78csp,
 author       = {C.~A.~R. Hoare},
 year         = {1978},
 title        = {{Communicating Sequential Processes}},
 journal      = {Communications of the ACM},
 volume       = {21},
 number       = {8},
 pages        = {666--677},
 doi          = {10.1145/359576.359585},
)
@article(Hoare2006209,
 author       = {C.~A.~R. Hoare},
 year         = {2006},
 title        = {Why ever CSP?},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {162},
 number       = {0},
 pages        = {209--215},
 doi          = {10.1016/j.entcs.2006.01.031},
)
@article(Lanese200655,
 author       = {I.~Lanese and U.~Montanari},
 year         = {2006},
 title        = {Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {154},
 number       = {2},
 pages        = {55 -- 72},
 doi          = {10.1016/j.entcs.2005.03.032},
)
@book(CCS,
 author       = {R.~Milner},
 year         = {1980},
 title        = {A calculus of communicating systems},
 publisher    = {Springer},
 doi          = {10.1007/3-540-10235-3},
)
@inproceedings(DBLP:conf/ifip/Milner86,
 author       = {R.~Milner},
 year         = {1986},
 title        = {Process Constructors and Interpretations (Invited Paper)},
 booktitle    = {{IFIP} Congress},
 pages        = {507--514},
)
@inproceedings(milner.sangiorgi:barbed-bisimulation,
 author       = {R.~Milner and D.~Sangiorgi},
 year         = {1992},
 title        = {Barbed Bisimulation},
 booktitle    = {Proc. of ICALP},
 series       = {LNCS},
 volume       = {623},
 pages        = {685--695},
 doi          = {10.1007/3-540-55719-9\_114},
)
@phdthesis(nestmann96,
 author       = {U.~Nestmann},
 year         = {1996},
 title        = {{On Determinacy and Nondeterminacy in Concurrent Programming}},
 school       = {Universit{\"a}t Erlangen-N{\"u}rnberg},
)
@article(nestmannPierce00,
 author       = {U.~Nestmann and B.~C. Pierce},
 year         = {2000},
 title        = {{Decoding Choice Encodings}},
 journal      = {Information and Computation},
 volume       = {163},
 number       = {1},
 pages        = {1--59},
 doi          = {10.1006/inco.2000.2868},
)
@inproceedings(parrowCoupled92,
 author       = {J.~Parrow and P.~Sj\"odin},
 year         = {1992},
 title        = {Multiway synchronization verified with coupled simulation},
 booktitle    = {Proc. of CONCUR},
 series       = {LNCS},
 volume       = {630},
 organization = {Springer},
 pages        = {518--533},
 doi          = {10.1007/bfb0084813},
)
@phdthesis(peters12,
 author       = {K.~Peters},
 year         = {2012},
 title        = {{Translational Expressiveness}},
 school       = {TU Berlin},
)
@inproceedings(petersGlabbeek15,
 author       = {K.~Peters and R.~van Glabbeek},
 year         = {2015},
 title        = {{Analysing and Comparing Encodability Criteria}},
 booktitle    = {Proc. of EXPRESS/SOS},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {190},
 pages        = {46-60},
 doi          = {10.4204/EPTCS.190.4},
 publisher    = {Open Publishing Association},
)
@conference(petersNestmann12,
 author       = {K.~Peters and U.~Nestmann},
 year         = {2012},
 title        = {{Is it a ``Good'' Encoding of Mixed Choice?}},
 booktitle    = {Proc. of FoSSaCS},
 series       = {LNCS},
 volume       = {7213},
 pages        = {210--224},
 doi          = {10.1007/978-3-642-28729-9\_14},
)
@incollection(petersNestmannGoltz13,
 author       = {K.~Peters and U.~Nestmann and U.~Goltz},
 year         = {2013},
 title        = {{On Distributability in Process Calculi}},
 booktitle    = {Proc. of ESOP},
 series       = {LNCS},
 volume       = {7792},
 publisher    = {Springer},
 pages        = {310--329},
 doi          = {10.1007/978-3-642-37036-6\_18},
)
@phdthesis(sjodin:phd,
 author       = {P.~Sj{\"o}din},
 year         = {1991},
 title        = {{From LOTOS Specifications to Distributed Implementations}},
 school       = {Department of Computer Science, Uppsala University},
 note         = {Available as Report DoCS 91/31},
)