Luca Aceto, Ignacio Fábregas, David de Frutos Escrig, Anna Ingólfsdóttir & Miguel Palomino (2011):
Relating modal refinements, covariant-contravariant simulations and partial bisimulations.
In: Fundamentals of Software Engineering, FSEN 2011,
LNCS.
Springer * .
Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen & Ji^rí Srba (2007):
Reactive Systems: Modelling, Specification and Verification.
Cambridge University Press.
J. Baeten, D. van Beek, B. Luttik, J. Markovski & J. Rooda (2010):
Partial Bisimulation.
SE Report 2010-04.
Department of Mechanical Engineering, Eindhoven University of Technology.
Gérard Boudol & Kim Gulstrand Larsen (1992):
Graphical versus logical specifications.
Theoretical Computer Science 106(1),
pp. 3–20,
doi:10.1016/0304-3975(92)90276-L.
Ignacio Fábregas, David de Frutos-Escrig & Miguel Palomino (2009):
Non-strongly Stable Orders Also Define Interesting Simulation Relations.
In: CALCO'09,
LNCS 5728.
Springer,
pp. 221–235,
doi:10.1007/978-3-642-03741-2_16.
Ignacio Fábregas, David de Frutos-Escrig & Miguel Palomino (2010):
Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics.
In: SOS'10,
EPTCS 32,
pp. 1–14,
doi:10.4204/EPTCS.32.1.
Ignacio Fábregas, David de Frutos-Escrig & Miguel Palomino (2010):
Logics for Contravariant Simulations.
In: FORTE-FMOODS 2010,
LNCS 6117.
Springer,
pp. 224–231,
doi:10.1007/978-3-642-13464-7_18.
R. J. van Glabbeek (2001):
The linear time-branching time spectrum I: The semantics of concrete, sequential processes.
In: J. A. Bergstra, A. Ponse & S. A. Smolka: Handbook of process algebra.
North-Holland,
pp. 3–99.
Kim Guldstrand Larsen (1989):
Modal Specifications.
In: Automatic Verification Methods for Finite State Systems,
LNCS 407.
Springer,
pp. 232–246,
doi:10.1007/3-540-52148-8_19.
Kim Guldstrand Larsen & Bent Thomsen (1988):
A Modal Process Logic.
In: LICS 1988.
IEEE Computer Society,
pp. 203–210,
doi:10.1109/LICS.1988.5119.
Gerald Lüttgen & Walter Vogler (2009):
Safe Reasoning with Logic LTS.
In: SOFSEM 2009,
LNCS 5404.
Springer,
pp. 376–387,
doi:10.1007/978-3-540-95891-8_35.
Gerald Lüttgen & Walter Vogler (2010):
Ready simulation for concurrency: It's logical!.
Inf. Comput. 208(7),
pp. 845–867,
doi:10.1016/j.ic.2010.02.001.
Nancy Lynch (1988):
I/O Automata: A model for discrete event systems.
In 22nd Annual Conferenc e on Information Sciences and Systems,
pp. 29–38.
R. Milner (1989):
Communication and Concurrency.
Prentice Hall.
David Park (1981):
Concurrency and Automata on Infinite Sequences.
In: Theoretical Computer Science, 5th GI-Conference,
LNCS 104.
Springer,
pp. 167–183,
doi:10.1007/BFb0017309.