The cones and foci proof technique for timed transition systems

Cached

Download Links

by M. B. van der Zwaag
Venue:Information Processing Letters
Citations:8 - 0 self

Documents Related by Co-Citation

256 Branching Time and Abstraction in Bisimulation Semantics – Rob J. Van Glabbeek, W. Peter Weijland - 1996
656 Concurrency and automata on infinite sequences – D Park - 1981
1541 Distributed Algorithms – Nancy A Lynch - 1996
739 Parallel Program Design: A Foundation – K M Chandy, J Misra - 1988
1977 A theory of timed automata – Rajeev Alur - 1999
598 The algorithmic analysis of hybrid systems – R. Alur, C. Courcoubetis, N. Halbwachs , T. A. Henzinger, P.-H. Ho, X. Nicollin , A. Olivero , J. Sifakis , S. Yovine - 1995
1332 A Calculus of Communicating Systems – R Milner - 1982
494 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
493 UPPAAL in a Nutshell – Kim G. Larsen, Paul Pettersson, Wang Yi - 1997