@article(borealeSangiorgi98,
 author       = "Michele Boreale and Davide Sangiorgi",
 year         = "1998",
 title        = "{A} fully abstract semantics for causality in the $\pi $-calculus",
 journal      = "Acta Inf.",
 volume       = "35",
 number       = "5",
 pages        = "353--400",
 doi          = "10.1007/s002360050124",
)
@techreport(boudol92,
 author       = "G\'{e}rard Boudol",
 year         = "1992",
 title        = "{A}synchrony and the $\pi $-calculus (note)",
 type         = "Note",
 institution  = "INRIA",
)
@article(carboneMaffeis03,
 author       = "Marco Carbone and Sergio Maffeis",
 year         = "2003",
 title        = "{O}n the {E}xpressive {P}ower of {P}olyadic {S}ynchronisation in $\pi $-{C}alculus",
 journal      = "Nordic Journal of Computing",
 volume       = "10",
 number       = "2",
 pages        = "70--98",
)
@inproceedings(fournet.gonthier:reflexive,
 author       = "C\'{e}dric Fournet and Georges Gonthier",
 year         = "1996",
 title        = "The Reflexive Chemical Abstract Machine and the Join-Calculus",
 booktitle    = "Proceedings of POPL '96",
 organization = "ACM",
 pages        = "372--385",
 doi          = "10.1145/237721.237805",
)
@article(gorla08,
 author       = "Daniele Gorla",
 year         = "2008",
 title        = "{C}omparing {C}ommunication {P}rimitives via their {R}elative {E}xpressive {P}ower",
 journal      = "Inf. \& Comp.",
 volume       = "206",
 number       = "8",
 pages        = "931--952",
 doi          = "10.1016/j.ic.2008.05.001",
)
@article(gorla10,
 author       = "Daniele Gorla",
 year         = "2010",
 title        = "{T}owards a {U}nified {A}pproach to {E}ncodability and {S}eparation {R}esults for {P}rocess {C}alculi",
 journal      = "Inf. \& Comp.",
 volume       = "208",
 number       = "9",
 pages        = "1031--1053",
 doi          = "10.1016/j.ic.2010.05.002",
)
@unpublished(honda:soundness,
 author       = "Kohei Honda",
 year         = "1992",
 title        = "{Notes on Soundness of a Mapping from $\pi $-calculus to $\nu $-calculus}",
 note         = "With comments added in October 1993",
)
@inproceedings(hondaTokoro91,
 author       = "Kohei Honda and Mario Tokoro",
 year         = "1991",
 title        = "{A}n {O}bject {C}alculus for {A}synchronous {C}ommunication",
 booktitle    = "ECOOP'91",
 series       = "LNCS",
 volume       = "512",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "133--147",
 doi          = "10.1007/BFb0057019",
)
@inproceedings(nestmann:joint-input,
 author       = "Uwe Nestmann",
 year         = "1998",
 title        = "On the Expressive Power of Joint Input",
 editor       = "Catuscia Palamidessi and Ilaria Castellani",
 booktitle    = "Proceedings of EXPRESS '98",
 series       = "ENTCS",
 volume       = "16.2",
 publisher    = "Elsevier Science Publishers",
 doi          = "10.1016/S1571-0661(04)00123-9",
)
@article(nestmann00,
 author       = "Uwe Nestmann",
 year         = "2000",
 title        = "{W}hat is a "{G}ood" {E}ncoding of {G}uarded {C}hoice?",
 journal      = "Inf. \& Comp.",
 volume       = "156",
 number       = "1-2",
 pages        = "287--319",
 doi          = "10.1006/inco.1999.2822",
)
@article(palamidessi03,
 author       = "Catuscia Palamidessi",
 year         = "2003",
 title        = "{C}omparing the {E}xpressive {P}ower of the {S}ynchronous and the {A}synchronous $\pi $-calculi",
 journal      = "MSCS",
 volume       = "13",
 number       = "5",
 pages        = "685--719",
 doi          = "10.1017/S0960129503004043",
)
@article(parrow08,
 author       = "Joachim Parrow",
 year         = "2008",
 title        = "{E}xpressiveness of {P}rocess {A}lgebras",
 journal      = "ENTCS",
 volume       = "209",
 pages        = "173--186",
 doi          = "10.1016/j.entcs.2008.04.011",
)
@inproceedings(petersNestmann10,
 author       = "Kirstin Peters and Uwe Nestmann",
 year         = "2010",
 title        = "{B}reaking {S}ymmetries",
 booktitle    = "EXPRESS'10",
 series       = "EPTCS",
 volume       = "41",
 pages        = "136--150",
 doi          = "10.4204/EPTCS.41.10",
)
@unpublished(petersNestmann11,
 author       = "Kirstin Peters and Uwe Nestmann",
 year         = "2011",
 title        = "{B}reaking {S}ymmetries",
 note         = "Submitted to MSCS",
)
@phdthesis(priami96,
 author       = "Corrado Priami",
 year         = "1996",
 title        = "{E}nhanced {O}perational {S}emantics for {C}oncurrency",
 school       = "Universita' di Pisa-Genova-Udine",
)
@book(sangiorgiWalker01,
 author       = "Davide Sangiorgi and David Walker",
 year         = "2001",
 title        = "{T}he $\pi $-calculus: {A} {T}heory of {M}obile {P}rocesses",
 publisher    = "Cambridge University Press, NY, USA",
)
@unpublished(schickePetersGoltz11,
 author       = "Jens-Wolfhard Schicke and Kirstin Peters and Ursula Goltz",
 year         = "2011",
 title        = "{S}ynchrony vs. {C}ausality in {A}synchronous {P}etri {N}ets",
 note         = "To appear in EXPRESS'11",
)