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
Fundamentals of Software Engineering, FSEN 2011
LNCS
Springer
To appear
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
3–20
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
CALCO'09
LNCS
5728
Springer
221–235
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
SOS'10
EPTCS
32
1–14
10.4204/EPTCS.32.1
Ignacio Fábregas
David de Frutos-Escrig
Miguel Palomino
2010
Logics for Contravariant Simulations
FORTE-FMOODS 2010
LNCS
6117
Springer
224–231
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
J. A. Bergstra
A. Ponse
S. A. Smolka
Handbook of process algebra
North-Holland
3–99
Kim Guldstrand Larsen
1989
Modal Specifications
Automatic Verification Methods for Finite State Systems
LNCS
407
Springer
232–246
10.1007/3-540-52148-8_19
Kim Guldstrand Larsen
Bent Thomsen
1988
A Modal Process Logic
LICS 1988
IEEE Computer Society
203–210
10.1109/LICS.1988.5119
Gerald Lüttgen
Walter Vogler
2009
Safe Reasoning with Logic LTS
SOFSEM 2009
LNCS
5404
Springer
376–387
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
845–867
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
29–38
R. Milner
1989
Communication and Concurrency
Prentice Hall
David Park
1981
Concurrency and Automata on Infinite Sequences
Theoretical Computer Science, 5th GI-Conference
LNCS
104
Springer
167–183
10.1007/BFb0017309