Éric Badouel, Beno^it Caillaud & Philippe Darondeau (2002):
Distributing Finite Automata Through Petri Net Synthesis.
Formal Aspects of Computing 13,
pp. 447–470,
doi:10.1007/s001650200022.
Rob J. van Glabbeek (1993):
The Linear Time - Branching Time Spectrum II.
In: Proceedings of the 4th International Conference on Concurrency Theory (CONCUR'93).
Springer,
London, UK,
pp. 66–81,
doi:10.1007/3-540-57208-2_6.
Rob J. van Glabbeek & Ursula Goltz (2001):
Refinement of actions and equivalence notions for concurrent systems.
Acta Informatica 37(4/5),
pp. 229–327,
doi:10.1007/s002360000041.
Rob J. van Glabbeek, Ursula Goltz & Jens-Wolfhard Schicke (2008):
On Synchronous and Asynchronous Interaction in Distributed Systems.
Technical Report 2008-04.
TU Braunschweig.
Available at http://arxiv.org/abs/0901.0048v1.
Extended abstract in Proceedings 33rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2008), Toruń, Poland, August 2008 (E. Ochmański & J. Tyszkiewicz, eds.), LNCS 5162, Springer, 2008, pp. 16-35.
Richard P. Hopkins (1991):
Distributable nets.
In: Advances in Petri Nets 1991,
LNCS 524.
Springer,
pp. 161–187,
doi:10.1007/BFb0019974.
Kirstin Peters, Jens-Wolfhard Schicke & Uwe Nestmann (2011):
Synchrony vs Causality in the Asynchronous Pi-Calculus.
To appear in the Proceedings of EXPRESS'11.
Carl Adam Petri (1977):
Non-sequential Processes.
GMD-ISF Report 77.05.
GMD.
Vaughan R. Pratt (1985):
The Pomset Model of Parallel Processes: Unifying the Temporal and the Spatial.
In: Seminar on Concurrency, Carnegie-Mellon University.
Springer,
London, UK,
pp. 180–196,
doi:10.1007/3-540-15670-4_9.
Wolfgang Reisig (1984):
Partial Order Semantics versus Interleaving Semantics for CSP-like Languages and its Impact on Fairness.
In: Proc. of the 11th Colloquium on Automata, Languages and Programming.
Springer,
London, UK,
pp. 403–413,
doi:10.1007/3-540-13345-3_37.
Jens-Wolfhard Schicke (2009):
Diplomarbeit: Synchrony and Asynchrony in Petri Nets.
TU Braunschweig.