@inproceedings(AcetoEtAl11,
 author       = "Luca Aceto and Ignacio F\'abregas and David de Frutos Escrig and Anna Ing\'olfsd\'ottir and Miguel Palomino",
 year         = "2011",
 title        = "Relating modal refinements, covariant-contravariant simulations and partial bisimulations",
 booktitle    = "Fundamentals of Software Engineering, FSEN 2011",
 series       = "LNCS",
 publisher    = "Springer",
 note        s = "To appear",
)
@book(AcetoEtAl07b,
 author       = "Luca Aceto and Anna Ing\'olfsd\'ottir and Kim Guldstrand Larsen and Ji\^{r}\'{i} Srba",
 year         = "2007",
 title        = "Reactive Systems: Modelling, Specification and Verification",
 publisher    = "Cambridge University Press",
)
@techreport(Baetenetal,
 author       = "J. Baeten and D. van Beek and B. Luttik and J. Markovski and J. Rooda",
 year         = "2010",
 title        = "Partial Bisimulation",
 type         = "SE Report",
 number       = "2010-04",
 institution  = "Department of Mechanical Engineering, Eindhoven University of Technology",
)
@article(BoudolL1992,
 author       = "G{\'e}rard Boudol and Kim Gulstrand Larsen",
 year         = "1992",
 title        = "Graphical versus logical specifications",
 journal      = "Theoretical Computer Science",
 volume       = "106",
 number       = "1",
 pages        = "3--20",
 doi          = "10.1016/0304-3975(92)90276-L",
)
@inproceedings(FabregasFP09,
 author       = "Ignacio F{\'a}bregas and David de Frutos-Escrig and Miguel Palomino",
 year         = "2009",
 title        = "Non-strongly Stable Orders Also Define Interesting Simulation Relations",
 booktitle    = "CALCO'09",
 series       = "LNCS",
 volume       = "5728",
 publisher    = "Springer",
 pages        = "221--235",
 doi          = "10.1007/978-3-642-03741-2\_16",
)
@inproceedings(FabregasEtAl10-sos,
 author       = "Ignacio F{\'a}bregas and David de Frutos-Escrig and Miguel Palomino",
 year         = "2010",
 title        = "Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics",
 booktitle    = "SOS'10",
 series       = "EPTCS",
 volume       = "32",
 pages        = "1--14",
 doi          = "10.4204/EPTCS.32.1",
)
@inproceedings(FabregasEtAl10-logics,
 author       = "Ignacio F{\'a}bregas and David de Frutos-Escrig and Miguel Palomino",
 year         = "2010",
 title        = "Logics for Contravariant Simulations",
 booktitle    = "FORTE-FMOODS 2010",
 series       = "LNCS",
 volume       = "6117",
 publisher    = "Springer",
 pages        = "224--231",
 doi          = "10.1007/978-3-642-13464-7\_18",
)
@incollection(VanGlabbeek01,
 author       = "R. J. van Glabbeek",
 year         = "2001",
 title        = "The linear time-branching time spectrum {I}: The semantics of concrete, sequential processes",
 editor       = "J. A. Bergstra and A. Ponse and S. A. Smolka",
 booktitle    = "Handbook of process algebra",
 publisher    = "North-Holland",
 pages        = "3--99",
)
@inproceedings(Larsen89,
 author       = "Kim Guldstrand Larsen",
 year         = "1989",
 title        = "Modal Specifications",
 booktitle    = "Automatic Verification Methods for Finite State Systems",
 series       = "LNCS",
 volume       = "407",
 publisher    = "Springer",
 pages        = "232--246",
 doi          = "10.1007/3-540-52148-8\_19",
)
@inproceedings(LarsenT88,
 author       = "Kim Guldstrand Larsen and Bent Thomsen",
 year         = "1988",
 title        = "A Modal Process Logic",
 booktitle    = "LICS 1988",
 publisher    = "IEEE Computer Society",
 pages        = "203--210",
 doi          = "10.1109/LICS.1988.5119",
)
@inproceedings(Vogler09,
 author       = "Gerald L{\"u}ttgen and Walter 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(Vogler10,
 author       = "Gerald L{\"u}ttgen and Walter 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(Lynch88,
 author       = "Nancy Lynch",
 year         = "1988",
 title        = "{I/O} Automata: A model for discrete event systems",
 journal      = "In 22nd Annual Conferenc e on Information Sciences and Systems",
 pages        = "29--38",
)
@book(Milner89,
 author       = "R. Milner",
 year         = "1989",
 title        = "Communication and Concurrency",
 publisher    = "Prentice Hall",
)
@inproceedings(Park81,
 author       = "David Park",
 year         = "1981",
 title        = "Concurrency and Automata on Infinite Sequences",
 booktitle    = "Theoretical Computer Science, 5th GI-Conference",
 series       = "LNCS",
 volume       = "104",
 publisher    = "Springer",
 pages        = "167--183",
 doi          = "10.1007/BFb0017309",
)