@article(Brand1983,
 author       = "Daniel Brand and Pitro Zafiropulo",
 year         = "1983",
 title        = "On Communicating Finite-State Machines",
 journal      = "J. ACM",
 volume       = "30",
 number       = "2",
 pages        = "323--342",
 doi          = "10.1145/322374.322380",
)
@article(DBLP:journals/tse/DesaiMCS05,
 author       = "Nirmit Desai and Ashok U. Mallya and Amit K. Chopra and Munindar P. Singh",
 year         = "2005",
 title        = "Interaction Protocols as Design Abstractions for Business Processes",
 journal      = "IEEE Trans. Software Eng.",
 volume       = "31",
 number       = "12",
 pages        = "1015--1027",
 doi          = "10.1109/TSE.2005.140",
)
@inproceedings(DBLP:conf/dagstuhl/Farwer01,
 author       = "Berndt Farwer",
 year         = "2001",
 title        = "omega-Automata",
 editor       = "Erich Gr{\"a}del and Wolfgang Thomas and Thomas Wilke",
 booktitle    = "Automata, Logics, and Infinite Games",
 series       = "Lecture Notes in Computer Science",
 volume       = "2500",
 publisher    = "Springer",
 pages        = "3--20",
 doi          = "10.1007/3-540-36387-4\_1",
)
@inproceedings(DBLP:conf/clima/GhoshRS10,
 author       = "Sujata Ghosh and Ramaswamy Ramanujam and Sunil Easaw Simon",
 year         = "2010",
 title        = "Playing Extensive Form Games in Parallel",
 editor       = "J{\"u}rgen Dix and Jo{\~a}o Leite and Guido Governatori and Wojtek Jamroga",
 booktitle    = "CLIMA",
 series       = "Lecture Notes in Computer Science",
 volume       = "6245",
 publisher    = "Springer",
 pages        = "153--170",
 doi          = "10.1007/978-3-642-14977-1\_13",
)
@book(Hoare1985,
 author       = "C.A.R. Hoare",
 year         = "1985/2004",
 title        = "Communicating Sequential Processes",
 publisher    = "Prentice Hall",
 url          = "http://www.usingcsp.com/cspbook.pdf",
)
@book(Lynch1996,
 author       = "Nancy A. Lynch",
 year         = "1996",
 title        = "Distributed Algorithms",
 publisher    = "Morgan Kaufmann Publishers, Inc. San Francisco, California, USA",
)
@article(Mayr1999,
 author       = "Richard Mayr",
 year         = "1999",
 title        = "Process Rewrite Systems",
 journal      = "Information and Computation",
 volume       = "156",
 pages        = "264--286",
 doi          = "10.1006/inco.1999.2826",
)
@article(Mealy1955,
 author       = "George H. Mealy",
 year         = "1955",
 title        = "A method for synthesizing sequential circuits",
 journal      = "Bell System Technical Journal",
 volume       = "34",
 number       = "5",
 pages        = "1045--1079",
)
@book(Milner1980,
 author       = "Robin Milner",
 year         = "1980",
 title        = "A Calculus of Communicating Systems",
 publisher    = "Springer",
 address      = "Berlin, Heidelberg, New York",
)
@book(Milner1989,
 author       = "Robin Milner",
 year         = "1989",
 title        = "Communication and Concurrency",
 publisher    = "Prentice Hall",
)
@techreport(BPMN_20,
 author       = "OMG",
 year         = "2011",
 title        = "Business Process Model and Notation Specification, Version 2.0",
 type         = "Technical Report",
 institution  = "OMG",
)
@inproceedings(Reich2009,
 author       = "Johannes Reich",
 year         = "2009",
 title        = "The relation between protocols and games",
 editor       = "Stefan Fischer and Erik Maehle and R{\"u}diger Reischuk",
 booktitle    = "GI Jahrestagung",
 series       = "LNI",
 volume       = "154",
 publisher    = "GI",
 pages        = "3453--3464",
)
@inproceedings(Reich2010,
 author       = "Johannes Reich",
 year         = "2010",
 title        = "Finite System Composition and Interaction",
 editor       = "Klaus-Peter F{\"a}hnrich and Bogdan Franczyk",
 booktitle    = "40. GI Jahrestagung (2)",
 series       = "LNI",
 volume       = "176",
 publisher    = "GI",
 pages        = "603",
)
@inproceedings(reich2011,
 author       = "Johannes Reich",
 year         = "2011",
 title        = "Process synthesis from multiple interaction specifications",
 editor       = "Hans-Ulrich Hei\IeC {\ss } and Peter Pepper and Holger Schlingloff and J\IeC {\"o}rg Schneider",
 booktitle    = "41. GI Jahrestagung",
 series       = "LNI",
 volume       = "192",
 publisher    = "GI",
 pages        = "309",
)
@book(SchulteNatis1996,
 author       = "R. W. Schulte and Y. V. Natis",
 year         = "1996",
 title        = "{''Service-Oriented'' Architectures, Part 1}",
 publisher    = "SPA-401-068, Gartner Group",
)
@article(Vissers1976,
 author       = "Chris A. Vissers",
 year         = "1976",
 title        = "Interface, a dispersed architecture",
 journal      = "SIGARCH Comput. Archit. News",
 volume       = "4",
 number       = "4",
 pages        = "98--104",
 doi          = "10.1145/633617.803557",
)