References

  1. Andrea Asperti & Nadia Busi (2009): Mobile Petri nets. Mathematical Structures in Computer Science 19(6), pp. 1265–1278, doi:10.1017/S0960129509990193.
  2. Gerard Berry & Gerard Boudol (1990): The chemical abstract machine. In: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL '90. ACM, New York, NY, USA, pp. 81–94, doi:10.1145/96709.96717.
  3. Eike Best & Philippe Darondeau (2011): Petri Net Distributability. In: Ershov Memorial Conference, pp. 1–18, doi:10.1007/978-3-642-29709-0_1.
  4. Roberto Bruni, Hernán Melgratti & Ugo Montanari (2006): Event Structure Semantics for Nominal Calculi. In: C. Baier & H. Hermanns: Proceedings of CONCUR 2006, 17th International Conference on Concurrency Theory, Lecture Notes in Computer Science 4137. Springer, pp. 295–309, doi:10.1007/11817949_20.
  5. Maria Grazia Buscemi & Vladimiro Sassone (2001): High-Level Petri Nets as Type Theories in the Join Calculus. In: Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS '01. Springer-Verlag, London, UK, UK, pp. 104–120, doi:10.1007/3-540-45315-6.
  6. Nadia Busi & Roberto Gorrieri (2009): Distributed semantics for the pi-calculus based on Petri nets with inhibitor arcs. J. Log. Algebr. Program. 78(3), pp. 138–162, doi:10.1016/j.jlap.2008.08.002.
  7. Javier Esparza & Claus Schröter (2001): Unfolding Based Algorithms for the Reachability Problem. Fundamenta Informaticae 47(3-4), pp. 231–245.
  8. Cédric Fournet (1998): The Join-Calculus: a Calculus for Distributed Mobile Programming. L'École Polytechnique.
  9. Cédric Fournet & Georges Gonthier (1996): The reflexive CHAM and the join-calculus. In: Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, pp. 372–385, doi:10.1145/237721.237805.
  10. Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget & Didier Rémy (1996): A calculus of mobile agents. In: Ugo Montanari & Vladimiro Sassone: CONCUR '96: Concurrency Theory, Lecture Notes in Computer Science 1119. Springer Berlin / Heidelberg, pp. 406–421, doi:10.1007/3-540-61604-7_67.
  11. Rob J. van Glabbeek (2001): The Linear Time – Branching Time Spectrum I; The Semantics of Concrete, Sequential Processes. In: J.A. Bergstra, A. Ponse & S.A. Smolka: Handbook of Process Algebra, chapter 1. Elsevier, pp. 3–99, doi:10.1016/B978-044482830-9/50019-9.
  12. Rob J. van Glabbeek, U. Goltz & J.-W. Schicke (2009): Symmetric and Asymmetric Asynchronous Interaction. In: First Interaction and Concurrency Experiences Workshop (ICE 2008), Satellite Workshop ICALP 2008, entcs Vol. 229. elsevier, pp. 77–95, doi:10.1016/j.entcs.2009.06.040. To appear.
  13. Rob J. van Glabbeek, Ursula Goltz & Jens-Wolfhard Schicke (2008): On Synchronous and Asynchronous Interaction in Distributed Systems. In: E. Ochmanski & J. Tyszkiewicz: 33rd Intern. Symp. on Mathematical Foundations of Computer Science (MFCS’08), Lecture Notes in Computer Science LNCS 5162. Springer Berlin Heidelberg, pp. 16–35, doi:10.1007/978-3-540-85238-4.
  14. Rob J. van Glabbeek, Ursula Goltz & Jens-Wolfhard Schicke-Uffmann (2012): On Distributability of Petri Nets - (Extended Abstract). In: Lars Birkedal: Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings, Lecture Notes in Computer Science 7213. Springer, pp. 331–345, doi:10.1007/978-3-642-28729-9_22.
  15. Stephan Mennicke (2012): A Petri Net Semantics for the Join-Calculus. Technical Report. TU Braunschweig. Available at https://www.tu-braunschweig.de/Medien-DB/ips/join2petri_techreport.pdf.
  16. Robin Milner, Joachim Parrow & David Walker (1992): A calculus of mobile processes, I. Information and Computation 100(1), pp. 1 – 40, doi:10.1016/0890-5401(92)90008-4.
  17. Mogens Nielsen, Gordon Plotkin & Glynn Winskel (1979): Petri nets, event structures and domains. In: Gilles Kahn: Semantics of Concurrent Computation, Lecture Notes in Computer Science 70. Springer Berlin / Heidelberg, pp. 266–284, doi:10.1007/BFb0022474.
  18. Martin Odersky (2000): An Introduction to Functional Nets. In: Applied Semantics, International Summer School (APPSEM 2000), pp. 333–377, doi:10.1007/3-540-45699-6_7.
  19. Carl Adam Petri (1962): Kommunikation mit Automaten. University of Bonn.
  20. Jens-Wolfhard Schicke-Uffmann, Kirstin Peters & Ursula Goltz (2011): Synchrony vs. Causality in Asynchronous Petri Nets. In: Bas Luttik & Frank Valencia: Proceedings 18th International Workshop on Expressiveness in Concurrency, pp. 119–131, doi:10.4204/EPTCS.64.9.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org