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