Daniel Brand & Pitro Zafiropulo (1983):
On Communicating Finite-State Machines.
J. ACM 30(2),
pp. 323–342,
doi:10.1145/322374.322380.
Nirmit Desai, Ashok U. Mallya, Amit K. Chopra & Munindar P. Singh (2005):
Interaction Protocols as Design Abstractions for Business Processes.
IEEE Trans. Software Eng. 31(12),
pp. 1015–1027,
doi:10.1109/TSE.2005.140.
Berndt Farwer (2001):
omega-Automata.
In: Erich Grädel, Wolfgang Thomas & Thomas Wilke: Automata, Logics, and Infinite Games,
Lecture Notes in Computer Science 2500.
Springer,
pp. 3–20,
doi:10.1007/3-540-36387-4_1.
Sujata Ghosh, Ramaswamy Ramanujam & Sunil Easaw Simon (2010):
Playing Extensive Form Games in Parallel.
In: Jürgen Dix, João Leite, Guido Governatori & Wojtek Jamroga: CLIMA,
Lecture Notes in Computer Science 6245.
Springer,
pp. 153–170,
doi:10.1007/978-3-642-14977-1_13.
Nancy A. Lynch (1996):
Distributed Algorithms.
Morgan Kaufmann Publishers, Inc. San Francisco, California, USA.
Richard Mayr (1999):
Process Rewrite Systems.
Information and Computation 156,
pp. 264–286,
doi:10.1006/inco.1999.2826.
George H. Mealy (1955):
A method for synthesizing sequential circuits.
Bell System Technical Journal 34(5),
pp. 1045–1079.
Robin Milner (1980):
A Calculus of Communicating Systems.
Springer,
Berlin, Heidelberg, New York.
Robin Milner (1989):
Communication and Concurrency.
Prentice Hall.
OMG (2011):
Business Process Model and Notation Specification, Version 2.0.
Technical Report.
OMG.
Johannes Reich (2009):
The relation between protocols and games.
In: Stefan Fischer, Erik Maehle & Rüdiger Reischuk: GI Jahrestagung,
LNI 154.
GI,
pp. 3453–3464.
Johannes Reich (2010):
Finite System Composition and Interaction.
In: Klaus-Peter Fähnrich & Bogdan Franczyk: 40. GI Jahrestagung (2),
LNI 176.
GI,
pp. 603.
Johannes Reich (2011):
Process synthesis from multiple interaction specifications.
In: Hans-Ulrich Hei\IeCß, Peter Pepper, Holger Schlingloff & Jörg Schneider: 41. GI Jahrestagung,
LNI 192.
GI,
pp. 309.
R. W. Schulte & Y. V. Natis (1996):
''Service-Oriented'' Architectures, Part 1.
SPA-401-068, Gartner Group.
Chris A. Vissers (1976):
Interface, a dispersed architecture.
SIGARCH Comput. Archit. News 4(4),
pp. 98–104,
doi:10.1145/633617.803557.
eptcs@eptcs.org