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

1 eRENA3.1] Demonstration and Evaluation of Inhabited Television, eRENA Deliverable 3.1 – Wan Fokkink, Jun Pang - 1998
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 Pol
9 Cones and Foci for Protocol Verification Revisited – Wan Fokkink, Jun Pang - 2003
16 Discrete Time Process Algebra with Silent Step – J.C.M. Baeten, J.A. Bergstra, M.A. Reniers - 2000
11 Modelling Distributed Systems – Wan Fokkink , Jan Friso Groote, Michel Reniers - 2003
Analysis of an industrial system – J.J.T. Kleijn, et al. - 2003
7 Analysis of Three Hybrid Systems in Time µCRL – Jan Friso Groote, J. J. Van Wamel - 1998
5 Reniers. Timed process algebra (with a focus on explicit termination and relative-timing – J. C. M. Baeten, M. A. Reniers - 2004
1 Reniers. Designing and understanding the behaviour of systems: Lecture notes for RADV – Jan Friso Groote, Michel Reniers - 2007
5 A New Equivalence for Processes with Timing With an Application to Protocol Verification – J.C.M. Baeten, C. A. Middelburg, M.A. Reniers - 2002
56 A brief history of process algebra – J. C. M. Baeten - 2004
3 Is timed branching bisimilarity an equivalence indeed – Wan Fokkink, Jun Pang, Anton Wijs - 2005
An Effective Axiomatization for Real Time ACP – Wan Fokkink, Steven Klusener - 1995
17 Computer Assisted Manipulation of Algebraic Process Specifications – J. F. Groote, B. Lisser, Jan Friso Groote, Bert Lisser - 2001
5 An Axiomatization for Regular Processes in Timed Branching Bisimulation – Wan Fokkink - 1998
40 Action Transducers and Timed Automata – Nancy Lynch, Frits Vandrager - 1996
1 ITU-T Recommendation G.107 : The E-Model, a computational model for use in transmission planning – J. A. Bergstra, C. A. Middelburg - 2003
CWI, Embedded Systems Group – Wan Fokkink, Jan Friso Groote, Jun Pang, Bahareh Badban, Jaco Van De Pol