S. Abramsky
S. Gay
R. Nagarajan
1996
Interaction Categories and the Foundations of Typed Concurrent Programming
M. Broy
Proceedings of the 1994 Marktoberdorf Summer Sxhool on Deductive Program Design
Springer-Verlag
35–113
Rajeev Alur
David L. Dill
1994
A Theory of Timed Automata
Theoretical Computer Science
126
183–235
10.1016/0304-3975(94)90010-8
R. Barbuti
C. Bernardeschi
N. De Francesco
2002
Abstract interpretation of operational semantics for secure information flow
Inf. Process. Lett.
83
2
E. Clarke
D. Long
K. McMillan
1989
Compositional model checking
Proceedings of the Fourth Annual Symposium on Logic in computer science
IEEE Press
Piscataway, NJ, USA
353–362
10.1109/LICS.1989.39190
Vincent David
Jean Delcoigne
Evelyne Leret
Alain Ourghanlian
Philippe Hilsenkopf
Philippe Paris
1998
Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems
SAFECOMP
E. Allen Emerson
Joseph Y. Halpern
1982
Decision procedures and expressiveness in the temporal logic of branching time
Proceedings of the fourteenth annual ACM symposium on Theory of computing
STOC '82
ACM
New York, NY, USA
169–180
10.1145/800070.802190
Esfandiar Haghverdi
Paulo Tabuada
George J. Pappas
2005
Bisimulation relations for dynamical, control, and hybrid systems
Theor. Comput. Sci.
342
229–261
10.1016/j.tcs.2005.03.045
N. Halbwachs
P. Caspi
P. Raymond
D. Pilaud
1991
The synchronous dataflow programming language Lustre
Proceedings of the IEEE
79
9
1305–1320
10.1109/5.97300
Xavier Leroy
Hervé Grall
2008
Coinductive big-step operational semantics
http://arxiv.org/abs/0808.0586
Edward F. Moore
1956
Gedanken Experiments on Sequential Machines
Automata Studies
Princeton U.
129–153
Mike Stannett
2006
Simulation testing of automata
Formal Aspects of Computing
18
31–41
10.1007/s00165-005-0080-y