@article(Baeten:1986,
 author       = "J.C.M. Baeten and J.A. Bergstra and J.W. Klop",
 year         = "1986",
 title        = "Syntax and defining equations for an interrupt mechanism in process algebra",
 journal      = "Fundamenta Informaticae",
 volume       = "9",
 pages        = "127--167",
)
@article(PetriNetsWithStaticPriority,
 author       = "F. Bause",
 year         = "1996",
 title        = "{On the analysis of Petri nets with static priorities}",
 journal      = "Acta Informatica",
 volume       = "33",
 number       = "7",
 pages        = "669--685",
 doi          = "10.1007/s002360050065",
)
@inproceedings(PetriNetsWithDynamicPriority,
 author       = "F. Bause",
 year         = "1997",
 title        = "{Analysis of Petri nets with a dynamic priority method}",
 booktitle    = "Proceedings of Application and Theory of Petri Nets",
 series       = "LNCS",
 volume       = "1248",
 publisher    = "Springer",
 pages        = "215--234",
 doi          = "10.1007/3-540-63139-9\_38",
)
@techreport(ESComparison,
 author       = "G. Boudol and I. Castellani",
 year         = "1991",
 title        = "Flow models of distributed computations: event structures and nets",
 type         = "Technical Report",
 institution  = "INRIA",
)
@techreport(Bryans0601,
 author       = "J.W. Bryans and J.S. Fitzgerald and C.B. Jones and I. Mozolevsky",
 year         = "2006",
 title        = "{Dimensions of Dynamic Coalitions}",
 type         = "Technical Report",
 institution  = "Newcastle upon Tyne",
)
@article(Camilleri:CCSPriority,
 author       = "J. Camilleri and G. Winskel",
 year         = "1995",
 title        = "{CCS with Priority Choice}",
 journal      = "Information and Computation",
 volume       = "116",
 number       = "1",
 pages        = "26--37",
 doi          = "10.1006/inco.1995.1003",
)
@techreport(PriorityInProcessAlgebra,
 author       = "R. Cleaveland and G. L\"uttgen and V. Natarajan",
 year         = "1999",
 title        = "{Priority in Process Algebra}",
 type         = "{ICASE report}",
 institution  = "NASA",
)
@phdthesis(Katoen:Thesis,
 author       = "J.P. Katoen",
 year         = "1996",
 title        = "{Quantitative and Qualitative Extensions of Event Structures}",
 school       = "Twente",
)
@phdthesis(Langerak:Thesis,
 author       = "R. Langerak",
 year         = "1992",
 title        = "{Transformations and Semantics for LOTOS}",
 school       = "Twente",
)
@inproceedings(Langerak97causalambiguity,
 author       = "R. Langerak and E. Brinksma and J.P. Katoen",
 year         = "1997",
 title        = "Causal ambiguity and partial orders in event structures",
 booktitle    = "Proceedings of CONCUR",
 series       = "LNCS",
 publisher    = "Springer",
 pages        = "317--331",
 doi          = "10.1007/3-540-63141-0\_22",
)
@techreport(AmbiguityReport,
 author       = "R. Langerak and R. Brinksma and J.P. Katoen",
 year         = "1997",
 title        = "Causal ambiguity and partial orders in event structures",
 type         = "Technical Report",
 institution  = "Twente",
)
@phdthesis(Luettgen:Thesis,
 author       = "G. L{\"u}ttgen",
 year         = "1998",
 title        = "{Pre-emptive Modeling of Concurrent and Distributed Systems}",
 school       = "Passau",
)
@inproceedings(posetsForConfigurations,
 author       = "A. Rensink",
 year         = "1992",
 title        = "{Posets for Configurations!}",
 booktitle    = "Proceedings of CONCUR",
 series       = "LNCS",
 volume       = "630",
 publisher    = "Springer",
 pages        = "269--285",
 doi          = "10.1007/BFb0084797",
)
@article(EquivalenceNotions,
 author       = "R. {van Glabbeek} and U. Goltz",
 year         = "2001",
 title        = "Refinement of actions and equivalence notions for concurrent systems",
 journal      = "Acta Informatica",
 volume       = "37",
 pages        = "229--327",
 doi          = "10.1007/s002360000041",
)
@phdthesis(Winskel:Thesis,
 author       = "G. Winskel",
 year         = "1980",
 title        = "{Events in Computation}",
 school       = "Edinburgh",
)