From ATP to Timed Graphs and Hybrid Systems (1993)

Cached

Download Links

by Xavier Nicollin , Joseph Sifakis , Sergio Yovine
Citations:80 - 9 self

Active Bibliography

140 An overview and synthesis on timed process algebras – Xavier Nicollin, Joseph Sifakis - 1991
108 The Algebra of Timed Processes ATP: Theory and Application – Xavier Nicollin , Joseph Sifakis - 1994
63 Forward and backward simulations for timing-based systems – Nancy Lynch, Frits Vaandrager - 1991
State-Transition Based Techniques for Specifying Real-Time Systems: A Review – A. Sowmya, J. Zic
20 A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours – Luca Aceto, Alan S. A. Jeffrey - 1994
31 Formal Methods for the Specification and Design of Real-Time Safety Critical Systems – Jonathan S. Ostroff - 1992
1 Stable and Timed Formats for Process Algebra – Iain Phillips, Irek Ulidowski - 1995
40 Action Transducers and Timed Automata – Nancy Lynch, Frits Vandrager - 1996
27 Process algebra with timing: real time and discrete time – J. C. M. Baeten, C. A. Middelburg - 2001
56 A brief history of process algebra – J. C. M. Baeten - 2004
1 Model Theory For Process Algebra – J. A. Bergstra, C. A. Middelburg - 2004
Synthesizing Distunguishing Formulae for Real Time Systems – Jens Chr. Godskesen, Kim G. Larsen - 1994
75 Compiling Real-Time Specifications into Extended Automata – Xavier Nicollin, Joseph Sifakis, Sergio Yovine - 1992
26 An Asynchronous Process Algebra with Multiple Clocks – Henrik Reif Andersen, Michael Mendler - 1994
45 A Process Algebra of Communicating Shared Resources with Dense Time and Priorities – Patrice Bremond-Gregoire , Insup Lee - 1997
4 Timing the untimed: Terminating successfully while being conservative – J. C. M. Baeten, M. R. Mousavi, M. A. Reniers - 2005
1 ITU-T Recommendation G.107 : The E-Model, a computational model for use in transmission planning – J. A. Bergstra, C. A. Middelburg - 2003
9 A Calculus for Timed Automata (Extended Abstract) – Pedro R. D'Argenio, Ed Brinksma
27 Process algebra for hybrid systems – J. A. Bergstra, C. A. Middelburg - 2003