L. de Alfaro
T. A. Henzinger
R. Majumdar
2003
Discounting the Future in Systems Theory
ICALP 2003
LNCS
2719
Springer
1022–1037
10.1007/3-540-45061-0_79
L. de Alfaro
R. Majumdar
V. Raman
M. Stoelinga
2007
Game Relations and Metrics
LICS 2007
IEEE Computer Society
99–108
10.1109/LICS.2007.22
F. van Breugel
2005
A Behavioural Pseudometric for Metric Labelled Transition Systems
CONCUR 2005
LNCS
3653
Springer
141–155
10.1007/11539452_14
F. van Breugel
J. Worrell
2005
A behavioural pseudometric for probabilistic transition systems
Theoretical Computer Science
331
1
115–142
10.1016/j.tcs.2004.09.035
P. Cerný
T. A. Henzinger
A. Radhakrishna
2010
Quantitative Simulation Games
EMAP 2010
42–60
10.1007/978-3-642-13754-9_3
P. Cerný
T. A. Henzinger
A. Radhakrishna
2010
Simulation Distances
CONCUR 2010
253–268
10.1007/978-3-642-15375-4_18
D. Della Monica
V. Goranko
A. Montanari
G. Sciavicco
2011
Interval Temporal Logics: a Journey
Bulletin of the EATCS
105
J. Desharnais
V. Gupta
R. Jagadeesan
P. Panangaden
2004
Metrics for labelled Markov processes
Theoretical Computer Science
318
3
323–354
10.1016/j.tcs.2003.09.013
J. Desharnais
F. Laviolette
M. Tracol
2008
Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games
QEST 2008
IEEE Computer Society
264–273
10.1109/QEST.2008.42
U. Fahrenberg
C. R. Thrane
K. G. Larsen
2011
Distances for Weighted Transition Systems: Games and Properties
QAPL 2011
134–147
10.4204/EPTCS.57.10
N. Ferns
P. Panangaden
D. Precup
2011
Bisimulation Metrics for Continuous Markov Decision Processes
SIAM J. Comput.
40
6
1662–1714
10.1137/10080484X
K. G. Larsen
U. Nyman
A. Wasowski
2007
Modal I/O Automata for Interface and Product Line Theories
ESOP 2007
LNCS
4421
Springer
64–79
10.1007/978-3-540-71316-6_6
G. Lüttgen
W. Vogler
2013
Modal Interface Automata
Logical Methods in Computer Science
9
3
10.2168/LMCS-9(3:4)2013
R. Milner
1989
Communication and concurrency
Prentice Hall
D.M.R. Park
1981
Concurrency and automata on infinite sequences
Theoretical Computer Science, 5th Gl-Conference
LNCS
104
Springer
167–183
10.1007/BFb0017309
J.-B. Raclet
E. Badouel
A. Benveniste
B.ît Caillaud
A. Legay
R. Passerone
2011
A Modal Interface Theory for Component-based Design
Fundam. Inform.
108
1-2
119–149
10.3233/FI-2011-416
D. Romero-Hernández
D. de Frutos-Escrig
2012
Defining Distances for All Process Semantics
FMOODS/FORTE 2012
169–185
10.1007/978-3-642-30793-5_11
D. Romero-Hernández
D. de Frutos-Escrig
2012
Distances between Processes: A Pure Algebraic Approach
WADT 2012
265–282
10.1007/978-3-642-37635-1_16
D. Romero-Hernández
D. de Frutos-Escrig
2014
Coinductive Definition of Distances between Processes: Beyond Bisimulation Distances
FORTE 2014
249–265
10.1007/978-3-662-43613-4_16
Davide Sangiorgi
2009
On the origins of bisimulation and coinduction
ACM Trans. Program. Lang. Syst.
31
4
10.1145/1516507.1516510
C. Stirling
1998
The Joys of Bisimulation
MFCS 1998
LNCS
1450
Springer
142–151
10.1007/BFb0055763