|
130
|
An overview and synthesis on timed process algebras
– Xavier Nicollin, Joseph Sifakis
- 1991
|
|
99
|
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
|
|
30
|
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
|
|
25
|
Process algebra with timing: real time and discrete time
– J. C. M. Baeten, C. A. Middelburg
- 2001
|
|
35
|
A brief history of process algebra
– J. C. M. Baeten
- 2004
|
|
38
|
Action Transducers and Timed Automata
– Nancy Lynch, Frits Vandrager
- 1996
|
|
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
|
|
76
|
Compiling Real-Time Specifications into Extended Automata
– Xavier Nicollin, Joseph Sifakis, Sergio Yovine
- 1992
|
|
24
|
An Asynchronous Process Algebra with Multiple Clocks
– Henrik Reif Andersen, Michael Mendler
- 1994
|
|
42
|
A Process Algebra of Communicating Shared Resources with Dense Time and Priorities
– Patrice Bremond-Gregoire , Insup Lee
- 1997
|
|
3
|
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
|
|
23
|
Process algebra for hybrid systems
– J. A. Bergstra, C. A. Middelburg
- 2003
|
