@inproceedings(AIS09,
 author       = "L. Aceto and A. Ing{\'o}lfsd{\'o}ttir and J. Sack",
 year         = "2009",
 title        = "Characteristic Formulae for Fixed-Point Semantics: A General Framework",
 booktitle    = "Proceedings 16th International Workshop on Expressiveness in Concurrency, {EXPRESS 2009}",
 series       = "Electronic Proceedings in Theoretical Computer Science",
 volume       = "8",
 pages        = "1--15",
 doi          = "10.4204/EPTCS.8.1",
)
@inproceedings(BC10,
 author       = "P. Baldan and S. Crafa",
 year         = "2010",
 title        = "A Logic for True Concurrency",
 booktitle    = "Proceedings of 21st International Conference on Concurrency Theory, {CONCUR 2010}",
 series       = "Lecture Notes in Computer Science",
 volume       = "6269",
 publisher    = "Springer-Verlag",
 pages        = "147--161",
 doi          = "10.1007/978-3-642-15375-4_11",
)
@techreport(Bed91,
 author       = "M.A. Bednarczyk",
 year         = "1991",
 title        = "Hereditary history preserving bisimulations or what is the power of the future perfect in program logics",
 type         = "Technical Report",
 institution  = "Institute of Computer Science, Polish Academy of Sciences, Gda\' nsk",
)
@inproceedings(BC87,
 author       = "G. Boudol and I. Castellani",
 year         = "1987",
 title        = "On the semantics of concurrency: partial orders and transition systems",
 booktitle    = "Proceedings of TAPSOFT'87",
 series       = "Lecture Notes in Computer Science",
 volume       = "249",
 publisher    = "Springer-Verlag",
 pages        = "123--137",
 doi          = "10.1007/3-540-17660-8_52",
)
@inproceedings(Che92,
 author       = "F. Cherief",
 year         = "1992",
 title        = "Back and forth bisimulations on prime event structures",
 booktitle    = "Proceedings of {PARLE} '92",
 series       = "Lecture Notes in Computer Science",
 volume       = "605",
 publisher    = "Springer-Verlag",
 pages        = "843--858",
 doi          = "10.1007/3-540-55599-4_128",
)
@inproceedings(DNMV90,
 author       = "R. De Nicola and U. Montanari and F. Vaandrager",
 year         = "1990",
 title        = "Back and forth bisimulations",
 booktitle    = "Proceedings of {CONCUR} '90, Theories of Concurrency: Unification and Extension",
 series       = "Lecture Notes in Computer Science",
 volume       = "458",
 publisher    = "Springer-Verlag",
 pages        = "152--165",
 doi          = "10.1007/BFb0039058",
)
@inproceedings(DNV90,
 author       = "R. De Nicola and F. Vaandrager",
 year         = "1990",
 title        = "Three Logics for Branching Bisimulation (Extended Abstract)",
 booktitle    = "Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science",
 publisher    = "IEEE, Computer Society Press",
 pages        = "118--129",
)
@inproceedings(DDNM87,
 author       = "P. Degano and R. De Nicola and U. Montanari",
 year         = "1987",
 title        = "Observational equivalences for concurrency models",
 editor       = "M. Wirsing",
 booktitle    = "Formal Descriptions of Programming Concepts -- III, Proceedings of the 3rd IFIP WG 2.2 Conference",
 publisher    = "North-Holland",
 pages        = "105--129",
)
@inproceedings(Fro99,
 author       = "S.B. Fr{\"o}schle",
 year         = "1999",
 title        = "Decidability of Plain and Hereditary History-Preserving Bisimilarity for {BPP}",
 booktitle    = "Proceedings of Express'99",
 series       = "Electronic Notes in Theoretical Computer Science",
 volume       = "27",
 publisher    = "Elsevier",
 doi          = "10.1016/S1571-0661(05)80297-X",
)
@inproceedings(Fro05,
 author       = "S.B. Fr{\"o}schle",
 year         = "2005",
 title        = "Composition and Decomposition in True-Concurrency",
 booktitle    = "Foundations of Software Science and Computational Structures, 8th International Conference, {FOSSACS} 2005",
 series       = "Lecture Notes in Computer Science",
 volume       = "3441",
 publisher    = "Springer-Verlag",
 pages        = "333--347",
 doi          = "10.1007/978-3-540-31982-5_21",
)
@inproceedings(FL05,
 author       = "S.B. Fr{\"o}schle and S. Lasota",
 year         = "2005",
 title        = "Decomposition and Complexity of Hereditary History Preserving Bisimulation on {BPP}",
 booktitle    = "CONCUR 2005",
 series       = "Lecture Notes in Computer Science",
 volume       = "3653",
 publisher    = "Springer-Verlag",
 pages        = "263--277",
 doi          = "10.1007/11539452_22",
)
@article(vGG01,
 author       = "R.J. van Glabbeek and U. 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",
)
@inproceedings(vGP95,
 author       = "R.J. van Glabbeek and G.D. Plotkin",
 year         = "1995",
 title        = "Configuration structures",
 booktitle    = "Proceedings of 10th Annual IEEE Symposium on Logic in Computer Science, {LICS 1995}",
 publisher    = "IEEE Computer Society Press",
 pages        = "199--209",
 doi          = "10.1109/LICS.1995.523257",
)
@article(vGP09,
 author       = "R.J. van Glabbeek and G.D. Plotkin",
 year         = "2009",
 title        = "Configuration structures, event structures and {Petri} nets",
 journal      = "Theoretical Computer Science",
 volume       = "410",
 number       = "41",
 pages        = "4111--4159",
 doi          = "10.1016/j.tcs.2009.06.014",
)
@inproceedings(GKP92,
 author       = "U. Goltz and R. Kuiper and W. Penczek",
 year         = "1992",
 title        = "Propositional temporal logics and equivalences",
 booktitle    = "Proceedings of 3rd International Conference on Concurrency Theory, {CONCUR} 1992",
 series       = "Lecture Notes in Computer Science",
 volume       = "630",
 publisher    = "Springer-Verlag",
 pages        = "222--236",
 doi          = "10.1007/BFb0084794",
)
@article(GS86,
 author       = "S. Graf and J. Sifakis",
 year         = "1986",
 title        = "A Modal Characterization of Observational Congruence on Finite Terms of {CCS}",
 journal      = "Information and Control",
 volume       = "68",
 number       = "1-3",
 pages        = "125--145",
 doi          = "10.1016/S0019-9958(86)80031-6",
)
@inproceedings(Gut09,
 author       = "J. Gutierrez",
 year         = "2009",
 title        = "Logics and Bisimulation Games for Concurrency, Causality and Conflict",
 booktitle    = "Proceedings of the 12th International Conference on Foundations of Software Science and Computation Structures, {FOSSACS 09}",
 series       = "Lecture Notes in Computer Science",
 volume       = "5504",
 publisher    = "Springer-Verlag",
 pages        = "48--62",
 doi          = "10.1007/978-3-642-00596-1_5",
)
@inproceedings(GB09,
 author       = "J. Gutierrez and J.C. Bradfield",
 year         = "2009",
 title        = "Model-Checking Games for Fixpoint Logics with Partial Order Models",
 booktitle    = "Proceedings of the 20th International Conference on Concurrency Theory, {CONCUR 2009}",
 series       = "Lecture Notes in Computer Science",
 volume       = "5710",
 publisher    = "Springer-Verlag",
 pages        = "354--368",
 doi          = "10.1007/978-3-642-04081-8_24",
)
@article(HM85,
 author       = "M.C.B. Hennessy and R. Milner",
 year         = "1985",
 title        = "Algebraic laws for nondeterminism and concurrency",
 journal      = "Journal of the Association for Computing Machinery",
 volume       = "32",
 number       = "1",
 pages        = "137--161",
 doi          = "10.1145/2455.2460",
)
@article(HS85,
 author       = "M.C.B. Hennessy and C. Stirling",
 year         = "1985",
 title        = "The power of the future perfect in program logics",
 journal      = "Infomation and Control",
 volume       = "67",
 pages        = "23--52",
 doi          = "10.1016/S0019-9958(85)80025-5",
)
@article(JNW96,
 author       = "A. Joyal and M. Nielsen and G. Winskel",
 year         = "1996",
 title        = "Bisimulation from Open Maps",
 journal      = "Information and Computation",
 volume       = "127",
 number       = "2",
 pages        = "164--185",
 doi          = "10.1006/inco.1996.0057",
)
@article(JNS03,
 author       = "M. Jurdzinski and M. Nielsen and J. Srba",
 year         = "2003",
 title        = "Undecidability of domino games and hhp-bisimilarity",
 journal      = "Information and Computation",
 volume       = "184",
 number       = "2",
 pages        = "343--368",
 doi          = "10.1016/S0890-5401(03)00064-6",
)
@article(LPS95,
 author       = "F. Laroussinie and S. Pinchinat and Ph. Schnoebelen",
 year         = "1995",
 title        = "Translations between modal logics of reactive systems",
 journal      = "Theoretical Computer Science",
 volume       = "140",
 number       = "1",
 pages        = "53--71",
 doi          = "10.1016/0304-3975(94)00204-V",
)
@article(LS95,
 author       = "F. Laroussinie and Ph. Schnoebelen",
 year         = "1995",
 title        = "A hierarchy of temporal logics with past",
 journal      = "Theoretical Computer Science",
 volume       = "148",
 pages        = "303--324",
 doi          = "10.1016/0304-3975(95)00035-U",
)
@article(MT92,
 author       = "M. Mukund and P.S. Thiagarajan",
 year         = "1992",
 title        = "A logical characterization of well branching event structures",
 journal      = "Theoretical Computer Science",
 volume       = "96",
 number       = "1",
 pages        = "35--72",
 doi          = "10.1016/0304-3975(92)90181-E",
)
@inproceedings(DNF90,
 author       = "R. De Nicola and G.L. Ferrari",
 year         = "1990",
 title        = "Observational Logics and Concurrency Models",
 booktitle    = "FSTTCS",
 series       = "Lecture Notes in Computer Science",
 volume       = "472",
 publisher    = "Springer-Verlag",
 pages        = "301--315",
 doi          = "10.1007/3-540-53487-3_53",
)
@inproceedings(NC94,
 author       = "M. Nielsen and C. Clausen",
 year         = "1994",
 title        = "Bisimulation for Models in Concurrency",
 booktitle    = "Proceedings of 5th International Conference on Concurrency Theory, {CONCUR'94}",
 series       = "Lecture Notes in Computer Science",
 volume       = "836",
 publisher    = "Springer-Verlag",
 pages        = "385--400",
 doi          = "10.1007/BFb0015021",
)
@inproceedings(NC94a,
 author       = "M. Nielsen and C. Clausen",
 year         = "1994",
 title        = "Bisimulation, games, and logic",
 booktitle    = "Results and Trends in Theoretical Computer Science",
 series       = "Lecture Notes in Computer Science",
 volume       = "812",
 publisher    = "Springer-Verlag",
 pages        = "289--306",
 doi          = "10.1007/3-540-58131-6_54",
)
@article(NC95,
 author       = "M. Nielsen and C. Clausen",
 year         = "1995",
 title        = "Games and logics for a noninterleaving bisimulation",
 journal      = "Nordic Journal of Computing",
 volume       = "2",
 number       = "2",
 pages        = "221--249",
)
@inproceedings(Pen95,
 author       = "W. Penczek",
 year         = "1995",
 title        = "Branching time and partial order in temporal logics",
 booktitle    = "Time and Logic: A Computational Approach",
 publisher    = "UCL Press Ltd.",
 pages        = "179--228",
)
@article(PU11,
 author       = "I.C.C. Phillips and I. Ulidowski",
 year         = "2011",
 title        = "A Hierarchy of Reverse Bisimulations on Stable Configuration Structures",
 journal      = "Mathematical Structures in Computer Science",
 url          = "http://www.doc.ic.ac.uk/~iccp/papers/hierarchymscs.pdf",
 note         = "To appear.",
)
@techreport(PLS94,
 author       = "S. Pinchinat and F. Laroussinie and Ph. Schnoebelen",
 year         = "1994",
 title        = "Logical characterizations of truly concurrent bisimulation",
 type         = "Technical Report",
 number       = "114",
 institution  = "Grenoble",
)
@inproceedings(Pom86,
 author       = "L. Pomello",
 year         = "1986",
 title        = "Some equivalence notions for concurrent systems -- {A}n overview",
 booktitle    = "Advances in Petri Nets 1985",
 series       = "Lecture Notes in Computer Science",
 volume       = "222",
 publisher    = "Springer-Verlag",
 pages        = "381--400",
 doi          = "10.1007/BFb0016222",
)
@article(RT88,
 author       = "A. Rabinovich and B.A. Trakhtenbrot",
 year         = "1988",
 title        = "Behavior structures and nets",
 journal      = "Fundamenta Informaticae",
 volume       = "11",
 number       = "4",
 pages        = "357--403",
)
@article(SI94,
 author       = "B. Steffen and A. Ing{\'o}lfsd{\'o}ttir",
 year         = "1994",
 title        = "Characteristic Formulae for Processes with Divergence",
 journal      = "Information and Computation",
 volume       = "110",
 number       = "1",
 pages        = "149--163",
 doi          = "10.1006/inco.1994.1028",
)
@inproceedings(Win87,
 author       = "G. Winskel",
 year         = "1987",
 title        = "Event structures",
 booktitle    = "Advances in Petri Nets 1986",
 series       = "Lecture Notes in Computer Science",
 volume       = "255",
 publisher    = "Springer-Verlag",
 pages        = "325--392",
 doi          = "10.1007/3-540-17906-2_31",
)