@inproceedings(bc10,
 author       = "P. Baldan and S. Crafa",
 year         = "2010",
 title        = "A Logic for True Concurrency",
 booktitle    = "CONCUR 2010",
 series       = "LNCS",
 volume       = "6269",
 publisher    = "Springer",
 pages        = "147--161",
 doi          = "10.1007/978-3-642-15375-4\_11",
)
@article(fgp09_equational,
 author       = "D. de Frutos and C. Gregorio and M. Palomino",
 year         = "2009",
 title        = "On the unification of process semantics: equational semantics",
 journal      = "ENTCS",
 volume       = "249",
 pages        = "243--267",
 doi          = "10.1016/j.entcs.2009.07.093",
)
@inproceedings(fgp09_observational,
 author       = "D. de Frutos and C. Gregorio and M. Palomino",
 year         = "2009",
 title        = "On the unification of process semantics: observational semantics",
 booktitle    = "SOFSEM 2009",
 series       = "LNCS",
 volume       = "5404",
 publisher    = "Springer",
 pages        = "279--290",
 doi          = "10.1007/978-3-540-95891-8\_27",
)
@inproceedings(fg08,
 author       = "D. de Frutos-Escrig and C. Gregorio-Rodr\'{\i }guez",
 year         = "2008",
 title        = "Universal Coinductive Characterisations of Process Semantics",
 booktitle    = "IFIP TCS 2008",
 pages        = "397--412",
 doi          = "10.1007/978-0-387-09680-3\_27",
)
@inproceedings(Gla93,
 author       = "R. J. van Glabbeek",
 year         = "1993",
 title        = "The Linear Time - Branching Time Spectrum II",
 booktitle    = "CONCUR 1993",
 series       = "LNCS",
 volume       = "715",
 publisher    = "Springer",
 pages        = "66--81",
 doi          = "10.1007/3-540-57208-2\_6",
)
@inproceedings(Gla01,
 author       = "R.J. van Glabbeek",
 year         = "2001",
 title        = "The linear time-branching time spectrum \textsc {I}: the semantics of concrete, sequential processes",
 editor       = "J.A. Bergstra and A. Ponse and S.A. Smolka",
 booktitle    = "Handbook of Process Algebra",
 publisher    = "Elsevier",
 pages        = "3--99",
)
@inproceedings(Gut09,
 author       = "J. Gutierrez",
 year         = "2009",
 title        = "Logics and Bisimulation Games for Concurrency, Causality and Conflict",
 booktitle    = "FOSSACS 2009",
 series       = "LNCS",
 volume       = "5504",
 publisher    = "Springer",
 pages        = "48--62",
 doi          = "10.1007/978-3-642-00596-1\_5",
)
@article(hm85,
 author       = "M. Hennessy and R. Milner",
 year         = "1985",
 title        = "Algebraic laws for nondeterminism and concurrency",
 journal      = "Journal of the ACM",
 volume       = "32",
 pages        = "137--161",
 doi          = "10.1145/2455.2460",
)
@inproceedings(lv09,
 author       = "G. L{\"u}ttgen and W. Vogler",
 year         = "2009",
 title        = "Safe Reasoning with Logic LTS",
 booktitle    = "SOFSEM 2009",
 series       = "LNCS",
 volume       = "5404",
 publisher    = "Springer",
 pages        = "376--387",
 doi          = "10.1007/978-3-540-95891-8\_35",
)
@article(lv10,
 author       = "G. L{\"u}ttgen and W. Vogler",
 year         = "2010",
 title        = "Ready simulation for concurrency: It's logical!",
 journal      = "Inf. Comput.",
 volume       = "208",
 number       = "7",
 pages        = "845--867",
 doi          = "10.1016/j.ic.2010.02.001",
)
@article(Ros09,
 author       = "A. W. Roscoe",
 year         = "2009",
 title        = "Revivals, stuckness and the hierarchy of CSP models",
 journal      = "J. Log. Algebr. Program.",
 volume       = "78",
 number       = "3",
 pages        = "163--190",
 doi          = "10.1016/j.jlap.2008.10.002",
)