References

  1. É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.
  2. 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.
  3. 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.
  4. 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.
  5. Richard P. Hopkins (1991): Distributable nets. In: Advances in Petri Nets 1991, LNCS 524. Springer, pp. 161–187, doi:10.1007/BFb0019974.
  6. Kirstin Peters, Jens-Wolfhard Schicke & Uwe Nestmann (2011): Synchrony vs Causality in the Asynchronous Pi-Calculus. To appear in the Proceedings of EXPRESS'11.
  7. Carl Adam Petri (1977): Non-sequential Processes. GMD-ISF Report 77.05. GMD.
  8. 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.
  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.
  10. Jens-Wolfhard Schicke (2009): Diplomarbeit: Synchrony and Asynchrony in Petri Nets. TU Braunschweig.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org