@article(BC14,
 author       = {Paolo Baldan and Silvia Crafa},
 year         = {2014},
 title        = {A Logic for True Concurrency},
 journal      = {J. {ACM}},
 volume       = {61},
 number       = {4},
 pages        = {24:1--24:36},
 doi          = {10.1145/2629638},
)
@misc(bedna01,
 author       = {Marek A. Bednarczyk},
 year         = {1991},
 title        = {Hereditary history preserving bisimulations or what is the power of the future perfect in program logics},
 note         = {Technical report, Polish Academy of Sciences},
)
@article(BK84,
 author       = {Jan A. Bergstra and Jan Willem Klop},
 year         = {1984},
 title        = {Process Algebra for Synchronous Communication},
 journal      = {Information and Control},
 volume       = {60},
 number       = {1-3},
 pages        = {109--137},
 doi          = {10.1016/S0019-9958(84)80025-X},
)
@inproceedings(BoudolC87,
 author       = {G{\'{e}}rard Boudol and Ilaria Castellani},
 year         = {1987},
 title        = {On the Semantics of Concurrency: Partial Orders and Transition Systems},
 booktitle    = {Proc. of TAPSOFT'87},
 pages        = {123--137},
 doi          = {10.1007/3-540-17660-8_52},
)
@inproceedings(BC88,
 author       = {G{\'{e}}rard Boudol and Ilaria Castellani},
 year         = {1988},
 title        = {Permutation of transitions: An event structure semantics for {CCS} and {SCCS}},
 booktitle    = {Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency},
 series       = {LNCS},
 volume       = {354},
 publisher    = {Springer},
 pages        = {411--427},
 doi          = {10.1007/BFb0013028},
)
@inproceedings(BE91,
 author       = {Antonio Bucciarelli and Thomas Ehrhard},
 year         = {1991},
 title        = {Extensional Embedding of a Strongly Stable Model of {PCF}},
 booktitle    = {Proc. of ICALP},
 series       = {LNCS},
 volume       = {510},
 publisher    = {Springer},
 pages        = {35--46},
 doi          = {10.1007/3-540-54233-7_123},
)
@inproceedings(BE91b,
 author       = {Antonio Bucciarelli and Thomas Ehrhard},
 year         = {1991},
 title        = {Sequentiality and Strong Stability},
 booktitle    = {Proc. of LICS},
 publisher    = {{IEEE} Computer Society},
 pages        = {138--145},
 doi          = {10.1109/LICS.1991.151638},
)
@inproceedings(DMV90,
 author       = {{De Nicola}, Rocco and Ugo Montanari and Frits W. Vaandrager},
 year         = {1990},
 title        = {Back and Forth Bisimulations},
 booktitle    = {Proc. of CONCUR},
 series       = {LNCS},
 volume       = {458},
 publisher    = {Springer},
 pages        = {152--165},
 doi          = {10.1007/BFb0039058},
)
@inproceedings(DDM87,
 author       = {Pierpaolo Degano and {De Nicola}, Rocco and Ugo Montanari},
 year         = {1987},
 title        = {Observational equivalences for concurrency models},
 booktitle    = {Formal Description of Programming Concepts - {III}},
 publisher    = {North-Holland},
 pages        = {105--134},
)
@inproceedings(DDM88,
 author       = {Pierpaolo Degano and {De Nicola}, Rocco and Ugo Montanari},
 year         = {1988},
 title        = {Partial orderings descriptions and observations of nondeterministic concurrent processes},
 booktitle    = {Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency},
 series       = {LNCS},
 volume       = {354},
 publisher    = {Springer},
 pages        = {438--466},
 doi          = {10.1007/BFb0013030},
)
@article(Fecher04,
 author       = {Harald Fecher},
 year         = {2004},
 title        = {A completed hierarchy of true concurrent equivalences},
 journal      = {Inf. Process. Lett.},
 volume       = {89},
 number       = {5},
 pages        = {261--265},
 doi          = {10.1016/j.ipl.2003.11.008},
)
@article(Girard87,
 author       = {Jean{-}Yves Girard},
 year         = {1987},
 title        = {Linear Logic},
 journal      = {Theor. Comput. Sci.},
 volume       = {50},
 pages        = {1--102},
 doi          = {10.1016/0304-3975(87)90045-4},
)
@phdthesis(Gis84,
 author       = {J.L. Gischer},
 year         = {1984},
 title        = {Partial orders and the axiomatic theory of shuffle},
 school       = {Stanford University},
)
@inproceedings(G90,
 author       = {Rob J. van Glabbeek},
 year         = {1990},
 title        = {The Linear Time-Branching Time Spectrum (Extended Abstract)},
 booktitle    = {{Proc. of CONCUR}},
 series       = {LNCS},
 volume       = {458},
 publisher    = {Springer},
 pages        = {278--297},
 doi          = {10.1007/BFb0039066},
)
@inproceedings(G93,
 author       = {Rob J. van Glabbeek},
 year         = {1993},
 title        = {The Linear Time - Branching Time Spectrum {II}},
 booktitle    = {{Proc. of CONCUR}},
 series       = {LNCS},
 volume       = {715},
 publisher    = {Springer},
 pages        = {66--81},
 doi          = {10.1007/3-540-57208-2_6},
)
@article(GG01,
 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},
)
@article(GGS13,
 author       = {Rob J. van Glabbeek and Ursula Goltz and Schicke{-}Uffmann, Jens{-}Wolfhard},
 year         = {2013},
 title        = {On Characterising Distributability},
 journal      = {Logical Methods in Computer Science},
 volume       = {9},
 number       = {3},
 doi          = {10.2168/LMCS-9(3:17)2013},
)
@inproceedings(GP95,
 author       = {Rob J. van Glabbeek and Gordon D. Plotkin},
 year         = {1995},
 title        = {Configuration Structures},
 booktitle    = {Proc. of LICS},
 publisher    = {{IEEE} Computer Society},
 pages        = {199--209},
)
@article(CSP78,
 author       = {C. A. R. Hoare},
 year         = {1978},
 title        = {Communicating Sequential Processes},
 journal      = {Commun. ACM},
 volume       = {21},
 number       = {8},
 pages        = {666--677},
 doi          = {10.1145/359576.359585},
)
@misc(nautypage,
 author       = {Brendan D. McKay and Adolfo Piperno},
 title        = {\texttt{nauty/Traces} software distribution},
 howpublished = {{Available at} \url{http://cs.anu.edu.au/~bdm/nauty} and \burl{http://pallini.di.uniroma1.it}},
)
@article(McKay201494,
 author       = {Brendan D. McKay and Adolfo Piperno},
 year         = {2014},
 title        = {Practical graph isomorphism, {II}},
 journal      = {Journal of Symbolic Computation},
 volume       = {60},
 pages        = {94--112},
 doi          = {10.1016/j.jsc.2013.09.003},
)
@book(Mil89,
 author       = {R. Milner},
 year         = {1989},
 title        = {Communication and Concurrency},
 publisher    = {Prentice Hall},
)
@article(NielsenPW81,
 author       = {Mogens Nielsen and Gordon D. Plotkin and Glynn Winskel},
 year         = {1981},
 title        = {Petri Nets, Event Structures and Domains, Part {I}},
 journal      = {Theor. Comput. Sci.},
 volume       = {13},
 pages        = {85--108},
 doi          = {10.1016/0304-3975(81)90112-2},
)
@inproceedings(NT02,
 author       = {Mogens Nielsen and P. S. Thiagarajan},
 year         = {2002},
 title        = {Regular Event Structures and Finite Petri Nets: The Conflict-Free Case},
 booktitle    = {Applications and Theory of Petri Nets},
 series       = {LNCS},
 volume       = {2360},
 publisher    = {Springer},
 pages        = {335--351},
 doi          = {10.1007/3-540-48068-4_20},
)
@article(Pet77,
 author       = {J. L. Peterson},
 year         = {1977},
 title        = {Petri Nets},
 journal      = {ACM Computing Surveys},
 volume       = {9},
 number       = {3},
 pages        = {223--252},
 doi          = {10.1145/356698.356702},
)
@book(Pet81,
 author       = {J. L. Peterson},
 year         = {1981},
 title        = {Petri Net Theory and the Modeling of Systems},
 publisher    = {Prentice Hall},
)
@phdthesis(Petri,
 author       = {C. A. Petri},
 year         = {1962},
 title        = {Kommunikation mit Automaten},
 school       = {University of Bonn},
)
@inproceedings(Pomello85,
 author       = {Lucia Pomello},
 year         = {1985},
 title        = {Some equivalence notions for concurrent systems. An overview},
 booktitle    = {Advances in Petri Nets},
 series       = {LNCS},
 volume       = {222},
 publisher    = {Springer},
 pages        = {381--400},
 doi          = {10.1007/BFb0016222},
)
@inproceedings(Pratt85,
 author       = {V. R. Pratt},
 year         = {1985},
 title        = {The pomset model of parallel processes: unifying the temporal and the spatial},
 booktitle    = {Proceedings of Seminar on Concurrency},
 series       = {LNCS},
 volume       = {197},
 publisher    = {Springer},
 pages        = {180--196},
 doi          = {10.1007/3-540-15670-4_9},
)
@article(Pra86,
 author       = {V. R. Pratt},
 year         = {1986},
 title        = {Modelling concurrency with partial orders},
 journal      = {International Journal of Parallel Programming},
 volume       = {15},
 number       = {1},
 doi          = {10.1007/BF01379149},
)
@article(RT88,
 author       = {A. Rabinovich and B. A. Trakhtenbrot},
 year         = {1988},
 title        = {Behaviour structures and nets},
 journal      = {Fundamenta Informaticae},
 volume       = {11},
 number       = {4},
 pages        = {357--404},
)
@inproceedings(Winskel86,
 author       = {Glynn Winskel},
 year         = {1986},
 title        = {Event Structures},
 booktitle    = {Petri Nets: Central Models and Their Properties (Advances in Petri Nets)},
 series       = {LNCS},
 volume       = {255},
 publisher    = {Springer},
 pages        = {325--392},
 doi          = {10.1007/3-540-17906-2_31},
)
@incollection(WN95,
 author       = {Glynn Winskel and Mogens Nielsen},
 year         = {1995},
 title        = {Models for Concurrency},
 editor       = {S. Abramsky and Dov M. Gabbay and T. S. E. Maibaum},
 booktitle    = {Handbook of Logic in Computer Science (Vol. 4)},
 publisher    = {Oxford University Press, Inc.},
 address      = {New York, NY, USA},
 pages        = {1--148},
)