@article(BBK86,
 author       = "Jos C. M. Baeten and Jan A. Bergstra and Jan Willem Klop",
 year         = "1986",
 title        = "Syntax and Defining Equations for an Interrupt Mechanism in Process Algebra",
 journal      = "Fundamenta Informaticae",
 volume       = "IX",
 number       = "2",
 pages        = "127--168",
)
@inproceedings(LICS2009:Psi-calculi,
 author       = "Jesper Bengtson and Magnus Johansson and Joachim Parrow and Bj{\"o}rn Victor",
 year         = "2009",
 title        = "Psi-calculi: Mobile processes, nominal data, and logic",
 booktitle    = "Proceedings of LICS 2009",
 publisher    = "IEEE Computer Society",
 pages        = "39--48",
 doi          = "10.1109/lics.2009.20",
)
@article(bengtson.johansson.ea:psi-calculi-long,
 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",
)
@article(blizard1990,
 author       = "Wayne D. Blizard",
 year         = "1990",
 title        = "Negative membership.",
 journal      = "Notre Dame Journal of Formal Logic",
 volume       = "31",
 number       = "3",
 pages        = "346--368",
 doi          = "10.1305/ndjfl/1093635499",
)
@article(DBLP:journals/jacm/BolG96,
 author       = "Roland N. Bol and Jan Friso Groote",
 year         = "1996",
 title        = "The Meaning of Negative Premises in Transition System Specifications",
 journal      = "J. ACM",
 volume       = "43",
 number       = "5",
 pages        = "863--914",
 doi          = "10.1145/234752.234756",
)
@incollection(Borgstr_m_2014,
 author       = "Johannes Borgstr\"om and Ram{\=u}nas Gutkovas and Joachim Parrow and Bj\"orn Victor and Johannes {\r A}man Pohjola",
 year         = "2014",
 title        = "A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract)",
 booktitle    = "Trustworthy Global Computing",
 publisher    = "Springer Science + Business Media",
 pages        = "103--118",
 doi          = "10.1007/978-3-319-05119-2_7",
)
@inproceedings(borgstroem.huang.ea:broadcast-psi-sefm,
 author       = "Johannes Borgstr{\"o}m and Shuqin Huang and Magnus Johansson and Palle Raabjerg and Bj{\"o}rn Victor and Johannes {\r A}man Pohjola and Joachim Parrow",
 year         = "2011",
 title        = "Broadcast Psi-calculi with an Application to Wireless Protocols",
 booktitle    = "Software Engineering and Formal Methods: SEFM 2011",
 series       = "Lecture Notes in Computer Science",
 volume       = "7041",
 publisher    = "Springer-Verlag",
 pages        = "74--89",
 doi          = "10.1007/s10270-013-0375-z",
)
@inproceedings(Camilleri1991,
 author       = "Juanito Camilleri and Glynn Winskel",
 year         = "1991",
 title        = "CCS with priority choice",
 booktitle    = "Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science",
 publisher    = "IEEE Comput. Sco. Press",
 pages        = "246--255",
 doi          = "10.1109/lics.1991.151649",
)
@inproceedings(DBLP:conf/lics/CleavelandH88,
 author       = "Rance Cleaveland and Matthew Hennessy",
 year         = "1988",
 title        = "Priorities in Process Algebras",
 booktitle    = "LICS",
 publisher    = "IEEE Computer Society",
 pages        = "193--202",
 doi          = "10.1109/lics.1988.5118",
)
@incollection(HPA2001,
 author       = "Rance Cleaveland and Gerald L{\"u}ttgen and V. Natarajan",
 year         = "2001",
 title        = "Priority in Process Algebra",
 editor       = "Jan A. Bergstra and Alban Ponse and Scott A. Smolka",
 booktitle    = "Handbook of Process Algebra",
 publisher    = "Elsevier Science Publishers",
 pages        = "711--765",
 doi          = "10.1016/B978-044482830-9/50030-8",
)
@inproceedings(ene.muntean:expressiveness-point,
 author       = "Cristian Ene and Traian Muntean",
 year         = "1999",
 title        = "Expressiveness of point-to-point versus broadcast communications",
 booktitle    = "Proceedings of FCT'99",
 series       = "Lecture Notes in Computer Science",
 volume       = "1684",
 publisher    = "Springer-Verlag",
 pages        = "258--268",
 doi          = "10.1007/3-540-48321-7\_21",
)
@article(Gabbay01anew,
 author       = "Murdoch J. Gabbay and Andrew M. Pitts",
 year         = "2002",
 title        = "A New Approach to Abstract Syntax with Variable Binding",
 journal      = "Formal Aspects of Computing",
 volume       = "13",
 pages        = "341--363",
 doi          = "10.1007/s001650200016",
)
@inproceedings(DBLP:conf/concur/Gorla08,
 author       = "Daniele Gorla",
 year         = "2008",
 title        = "Towards a Unified Approach to Encodability and Separation Results for Process Calculi",
 booktitle    = "CONCUR",
 series       = "Lecture Notes in Computer Science",
 volume       = "5201",
 publisher    = "Springer",
 pages        = "492--507",
 doi          = "10.1007/978-3-540-85361-9\_38",
)
@article(GorlaNestmann:Abstraction,
 author       = "Daniele Gorla and Uwe Nestmann",
 year         = "2014",
 title        = "Full Abstraction for Expressiveness: History, Myths and Facts",
 journal      = "Mathematical Structures in Computer Science",
 note         = "To appear",
)
@inproceedings(DBLP:conf/ftrtft/Jeffrey92,
 author       = "Alan Jeffrey",
 year         = "1991",
 title        = "Translating Timed Process Algebra into Prioritized Process Algebra",
 booktitle    = "FTRTFT",
 series       = "Lecture Notes in Computer Science",
 volume       = "571",
 publisher    = "Springer",
 pages        = "493--506",
 doi          = "10.1007/3-540-55092-5\_27",
)
@inproceedings(Torp94interpretingbroadcast,
 author       = "Claus Torp Jensen",
 year         = "1994",
 title        = "Interpreting Broadcast Communication in CCS with Priority Choice",
 booktitle    = "Proceedings of the 6th Nordic Workshop on Programming Theory",
 volume       = "203--5",
 pages        = "49--70",
)
@article(articlereference201003038754456007,
 author       = "Mathias John and C{\'{e}}dric Lhoussaine and Joachim Niehren and Adelinde Uhrmacher",
 year         = "2010",
 title        = "The Attributed Pi-Calculus with Priorities",
 journal      = "Transactions on Computational Systems Biology XII",
 volume       = "5945/2010",
 pages        = "13--76",
 doi          = "10.1007/978-3-642-11712-1\_2",
)
@book(nipkow:isabelle,
 author       = "Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel",
 year         = "2002",
 title        = "Isabelle/{HOL}: a Proof Assistant for Higher-Order Logic",
 series       = "Lecture Notes in Computer Science",
 volume       = "2283",
 publisher    = "Springer-Verlag",
 doi          = "10.1007/3-540-45949-9\_7",
)
@article(Parrow_2008,
 author       = "Joachim Parrow",
 year         = "2008",
 title        = "Expressiveness of Process Algebras",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "209",
 pages        = "173--186",
 doi          = "10.1016/j.entcs.2008.04.011",
)
@article(Parrow:Abstraction,
 author       = "Joachim Parrow",
 year         = "2014",
 title        = "General Conditions for Full Abstraction",
 journal      = "Mathematical Structures in Computer Science",
 note         = "To appear",
)
@article(PittsAM:nomlfo-jv,
 author       = "Andrew M. Pitts",
 year         = "2003",
 title        = "Nominal Logic, A First Order Theory of Names and Binding",
 journal      = "Information and Computation",
 volume       = "186",
 pages        = "165--193",
 doi          = "10.1016/s0890-5401(03)00138-x",
)
@inproceedings(DBLP:conf/esop/Versari07,
 author       = "Cristian Versari",
 year         = "2007",
 title        = "A Core Calculus for a Comparative Analysis of Bio-inspired Calculi",
 editor       = "Rocco {De Nicola}",
 booktitle    = "ESOP",
 series       = "Lecture Notes in Computer Science",
 volume       = "4421",
 publisher    = "Springer",
 pages        = "411--425",
 doi          = "10.1007/978-3-540-71316-6\_28",
)
@inproceedings(DBLP:conf/concur/VersariBG07,
 author       = "Cristian Versari and Nadia Busi and Roberto Gorrieri",
 year         = "2007",
 title        = "On the Expressive Power of Global and Local Priority in Process Calculi",
 booktitle    = "CONCUR",
 series       = "Lecture Notes in Computer Science",
 volume       = "4703",
 publisher    = "Springer",
 pages        = "241--255",
 doi          = "10.1007/978-3-540-74407-8\_17",
)