CarlosE. Budde, PedroR. D'Argenio, PedroSánchez Terraf & Nicolás Wolovick (2014):
A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems.
In: Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems,
Lecture Notes in Computer Science.
Springer, Berlin, Heidelberg,
pp. 67–86,
doi:10.1007/978-3-662-45489-3_3.
Rance Cleaveland (1990):
On automatically explaining bisimulation inequivalence.
In: International Conference on Computer Aided Verification.
Springer,
pp. 364–372,
doi:10.1007/BFb0023750.
PedroR. D'Argenio & PedroSánchez Terraf (2012):
Bisimulations for non-deterministic labelled Markov processes.
Mathematical Structures in Computer Science 22(1),
pp. 43–68,
doi:10.1017/S0960129511000454.
JM Davoren & Paulo Tabuada (2007):
On Simulations and Bisimulations of General Flow Systems.
In: Hybrid Systems: Computation and Control.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 145–158,
doi:10.1007/978-3-540-71493-4_14.
Josée Desharnais, Abbas Edalat & Prakash Panangaden (2002):
Bisimulation for Labelled Markov Processes.
Information and Computation 179(2),
pp. 163–193,
doi:10.1006/inco.2001.2962.
E.Doberkat (2005):
Stochastic Relations: Congruences, Bisimulations and the Hennessy–Milner Theorem.
SIAM Journal on Computing 35(3),
pp. 590–626,
doi:10.1137/S009753970444346X.
Ernst-Erich Doberkat (2007):
The Hennessy–Milner equivalence for continuous time stochastic logic with mu-operator.
Journal of Applied Logic 5(3),
pp. 519–544,
doi:10.1016/j.jal.2006.05.001.
Ernst-Erich Doberkat & Pedro SánchezTerraf (2017):
Stochastic non-determinism and effectivity functions.
Journal of Logic and Computation 27(1),
pp. 357–394,
doi:10.1093/logcom/exv049.
James Ferlez, Rance Cleaveland & Steve Marcus (2014):
Generalized Synchronization Trees.
In: Foundations of Software Science and Computation Structures (FoSSaCS).
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 304–319,
doi:10.1007/978-3-642-54830-7_20.
Robert Goldblatt (1995):
Saturation and the Hennessy-Milner Property.
In: Alban Ponse, Maarten deRijke & Yde Venema: Modal Logic and Process Algebra: A Bisimulation Perspective,
Center for the Study of Language and Information Publication Lecture Notes.
Cambridge University Press,
pp. 107–129.
Valentin Goranko & Martin Otto (2007):
Model theory of modal logic.
In: Johan Van Benthem and FrankWolter PatrickBlackburn: Studies in Logic and Practical Reasoning,
Handbook of Modal Logic 3.
Elsevier,
pp. 249–329,
doi:10.1016/S1570-2464(07)80008-5.
Matthew Hennessy & Robin Milner (1985):
Algebraic laws for nondeterminism and concurrency.
Journal of the ACM,
doi:10.1145/2455.2460.
Marco Hollenberg (1995):
Hennessy-Milner Classes and Process Algebra.
In: Alban Ponse, Maarten deRijke & Yde Venema: Modal Logic and Process Algebra: A Bisimulation Perspective,
Center for the Study of Language and Information Publication Lecture Notes.
Cambridge University Press,
pp. 187–216.
Thomas Jech (2003):
Set Theory,
Third Millenium edition,
Springer Monographs in Mathematics.
Springer-Verlag Berlin Heidelberg,
doi:10.1007/3-540-44761-X.
Robin Milner (1990):
Operational and Algebraic Semantics of Concurrent Processes.
In: Handbook of Theoretical Computer Science (Vol. B).
MIT Press,
Cambridge, MA, USA,
pp. 1201–1242,
doi:10.1016/B978-0-444-88074-1.50024-X.
PedroSánchez Terraf (2015):
Bisimilarity is not Borel.
Mathematical Structures in Computer Science,
pp. 1–20,
doi:10.1017/S0960129515000535.
Jan Willems (2007):
The Behavioral Approach to Open and Interconnected Systems.
IEEE Control Systems Magazine 27(6),
pp. 46–99,
doi:10.1109/MCS.2007.906923.
eptcs@eptcs.org