@inproceedings(AbadiF01applied_pi,
 author       = "Mart\'{\i }n Abadi and C{\'e}dric Fournet",
 year         = "2001",
 title        = "Mobile values, new names, and secure communication",
 booktitle    = "POPL",
 publisher    = "ACM",
 pages        = "104--115",
 url          = "http://doi.acm.org/10.1145/360204.360213",
)
@article(AbadiG99spi_calculus,
 author       = "Mart\'{\i }n Abadi and Andrew D. Gordon",
 year         = "1999",
 title        = "A Calculus for Cryptographic Protocols: The spi Calculus",
 journal      = "Inf. Comput.",
 volume       = "148",
 number       = "1",
 pages        = "1--70",
 url          = "http://dx.doi.org/10.1006/inco.1998.2740",
)
@article(11psi_journal,
 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",
 url          = "http://dx.doi.org/10.2168/LMCS-7(1:11)2011",
)
@inproceedings(BuscemiM07ccpi,
 author       = "Maria Grazia Buscemi and Ugo Montanari",
 year         = "2007",
 title        = "CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements",
 booktitle    = "ESOP'07",
 series       = "{LNCS}",
 volume       = "4421",
 publisher    = "Springer",
 pages        = "18--32",
 url          = "http://dx.doi.org/10.1007/978-3-540-71316-6_3",
)
@inproceedings(DBLP:journals/corr/abs-1207-4270,
 author       = "Marco Carbone and Thomas T. Hildebrandt and Gian Perrone and Andrzej Wasowski",
 year         = "2012",
 title        = "Refinement for Transition Systems with Responses",
 booktitle    = "4th Workshop on Foundations of Interface Technologies (FIT'12)",
 series       = "EPTCS",
 volume       = "87",
 pages        = "48--55",
 url          = "http://dx.doi.org/10.4204/EPTCS.87.5",
)
@inproceedings(NicolaFMPT05qosCCpi,
 author       = "Rocco {De Nicola} and Gian Luigi Ferrari and Ugo Montanari and Rosario Pugliese and Emilio Tuosto",
 year         = "2005",
 title        = "A Process Calculus for QoS-Aware Applications",
 booktitle    = "COORDINATION",
 series       = "{LNCS}",
 volume       = "3454",
 publisher    = "Springer",
 pages        = "33--48",
 url          = "http://dx.doi.org/10.1007/11417019_3",
)
@article(Glabbeek06HDA,
 author       = "Rob van Glabbeek",
 year         = "2006",
 title        = "{On the Expressiveness of Higher Dimensional Automata}",
 journal      = "Theor. Comput. Sci.",
 volume       = "356",
 number       = "3",
 pages        = "265--290",
 url          = "http://dx.doi.org/10.1016/j.tcs.2006.02.012",
)
@article(GlabbeekG01refinement,
 author       = "Rob van Glabbeek and Ursula Goltz",
 year         = "2001",
 title        = "Refinement of actions and equivalence notions for concurrent systems",
 journal      = "Acta Informatica",
 volume       = "37",
 number       = "4/5",
 pages        = "229--327",
 doi          = "10.1007/s002360000041",
 url          = "http://link.springer.de/link/service/journals/00236/bibs/1037004/10370229.htm",
)
@article(GlabbeekP09configStruct,
 author       = "Rob van Glabbeek and Gordon Plotkin",
 year         = "2009",
 title        = "{Configuration structures, event structures and Petri nets}",
 journal      = "Theor. Comput. Sci.",
 volume       = "410",
 number       = "41",
 pages        = "4111--4159",
 url          = "http://dx.doi.org/10.1016/j.tcs.2009.06.014",
)
@phdthesis(gupta94phd_chu,
 author       = "Vincent Gupta",
 year         = "1994",
 title        = "{Chu Spaces: A Model of Concurrency}",
 school       = "Stanford University",
)
@inproceedings(Hildebrandt10DCRs,
 author       = "Thomas T. Hildebrandt and Raghava Rao Mukkamala",
 year         = "2010",
 title        = "Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs",
 booktitle    = "PLACES",
 series       = "EPTCS",
 volume       = "69",
 pages        = "59--73",
 url          = "http://dx.doi.org/10.4204/EPTCS.69.5",
)
@inproceedings(HildebrandtMS11DCRs,
 author       = "Thomas T. Hildebrandt and Raghava Rao Mukkamala and Tijs Slaats",
 year         = "2012",
 title        = "Nested Dynamic Condition Response Graphs",
 booktitle    = "4th IPM International Conference on Fundamentals of Software Engineering (FSEN)",
 series       = "{LNCS}",
 volume       = "7141",
 publisher    = "Springer",
 pages        = "343--350",
 url          = "http://dx.doi.org/10.1007/978-3-642-29320-7_23",
)
@inproceedings(Huttel11typed_psi,
 author       = "Hans H{\"u}ttel",
 year         = "2011",
 title        = "Typed psi-calculi",
 editor       = "Joost-Pieter Katoen and Barbara K{\"o}nig",
 booktitle    = "22nd International Conference on Concurrency Theory (CONCUR'11)",
 series       = "{LNCS}",
 volume       = "6901",
 publisher    = "Springer",
 pages        = "265--279",
 url          = "http://dx.doi.org/10.1007/978-3-642-23217-6_18",
)
@misc(huttel13private,
 author       = "Hans H{\"u}ttel",
 year         = "2013",
 title        = "On Representing Located Process Calculi in the psi-calculus",
 howpublished = "personal communication",
)
@article(Milner83SCCS,
 author       = "Robin Milner",
 year         = "1983",
 title        = "Calculi for Synchrony and Asynchrony.",
 journal      = "Theor. Comput. Sci.",
 volume       = "25",
 pages        = "267--310",
 doi          = "10.1016/0304-3975(83)90114-7",
)
@article(milner92picalcul,
 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",
)
@inproceedings(NielsenPW79eventstructures,
 author       = "Mogens Nielsen and Gordon Plotkin and Glynn Winskel",
 year         = "1979",
 title        = "Petri Nets, Event Structures and Domains.",
 booktitle    = "Semantics of Concurrent Computation",
 series       = "{LNCS}",
 volume       = "70",
 publisher    = "Springer",
 pages        = "266--284",
 doi          = "10.1007/BFb0022474",
)
@inproceedings(NPH14MeMo,
 author       = "H\r a{}kon Normann and Cristian Prisacariu and Thomas Hildebrandt",
 year         = "2014",
 title        = "True Concurrency Semantics for Psi-calculi",
 booktitle    = "1$^{st}$ International Workshop on Meta Models for Process Languages (MeMo)",
 note         = "(presentation)",
)
@book(pitts_book_nominal,
 author       = "Andrew M. Pitts",
 year         = "2013",
 title        = "Nominal Sets: Names and Symmetry in Computer Science",
 series       = "Cambridge Tracts in Theoretical Computer Science",
 volume       = "57",
 publisher    = "Cambridge Univ. Press",
 doi          = "10.1017/CBO9781139084673",
)
@inproceedings(pratt91hda,
 author       = "Vaughan R. Pratt",
 year         = "1991",
 title        = "Modeling Concurrency with Geometry",
 booktitle    = "POPL'91",
 pages        = "311--322",
 url          = "http://doi.acm.org/10.1145/99583.99625",
)
@incollection(pratt95chu,
 author       = "Vaughan R. Pratt",
 year         = "1995",
 title        = "Chu Spaces and their Interpretation as Concurrent Objects",
 booktitle    = "Computer Science Today: Recent Trends and Develop.",
 series       = "LNCS",
 volume       = "1000",
 publisher    = "Springer",
 pages        = "392--405",
 url          = "http://dx.doi.org/10.1007/BFb0015256",
)
@article(Pratt00HDArev,
 author       = "Vaughan R. Pratt",
 year         = "2000",
 title        = "Higher dimensional automata revisited",
 journal      = "Math. Struct. Comput. Sci.",
 volume       = "10",
 number       = "4",
 pages        = "525--548",
 doi          = "10.1017/S0960129500003169",
)
@inproceedings(SlaatsMHM13DCRsBusines,
 author       = "Tijs Slaats and Raghava Rao Mukkamala and Thomas T. Hildebrandt and Morten Marquard",
 year         = "2013",
 title        = "Exformatics Declarative Case Management Workflows as DCR Graphs",
 booktitle    = "Business Process Management",
 series       = "LNCS",
 volume       = "8094",
 publisher    = "Springer",
 pages        = "339--354",
 url          = "http://dx.doi.org/10.1007/978-3-642-40176-3_28",
)
@inproceedings(Winskel82CCSevents,
 author       = "Glynn Winskel",
 year         = "1982",
 title        = "Event Structure Semantics for CCS and Related Languages",
 booktitle    = "ICALP",
 series       = "LNCS",
 volume       = "140",
 publisher    = "Springer",
 pages        = "561--576",
 url          = "http://dx.doi.org/10.1007/BFb0012800",
)
@inproceedings(Winskel86,
 author       = "Glynn Winskel",
 year         = "1986",
 title        = "Event Structures",
 booktitle    = "Advances in Petri Nets",
 series       = "{LNCS}",
 volume       = "255",
 publisher    = "Springer",
 pages        = "325--392",
 url          = "http://dx.doi.org/10.1007/3-540-17906-2_31",
)
@incollection(winskel95modelsCategory,
 author       = "Glynn Winskel and Mogens Nielsen",
 year         = "1995",
 title        = "Models for Concurrency",
 editor       = "Samson Abramski and Dov M. Gabbay and Tom S.E. Maibaum",
 booktitle    = "Handbook of Logic in Computer Science -- vol 4 -- Semantic Modelling",
 publisher    = "Oxford University Press",
 pages        = "1--148",
)