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

Active Bibliography

The Cones and Foci Proof Technique for Timed Transition Systems – Issn -x, Mark B. Van Der Zwaag - 2000
Fundamenta Informaticae 50-(2002) 1–42 1 IOS Press Completeness of Timed   CRL – M. A. Reniers, J. Groote
1 Formal verification of timed systems using cones and foci – Wan Fokkink, Jun Pang - 1998
566 Term Rewriting Systems – J. W. Klop - 1992
9 Cones and Foci for Protocol Verification Revisited – Wan Fokkink, Jun Pang - 2003
1 M.: Action abstraction in timed process algebra: The case for an untimed silent step – Michel A. Reniers, Muck Van Weerdenburg - 2006
2 Cones and foci: A mechanical framework for protocol verification – Wan Fokkink, Jun Pang, Jaco van de Pol - 2006
1 CWI, Specification and Analysis of Embedded Systems Group – Wan Fokkink, Jun Pang, Jaco Van De Pol, Inria Futurs, École Polytechnique
The Concurrency Column – Luca Aceto