|
3
|
Reniers. Timed process algebra (with a focus on explicit termination and relative-timing
– J. C. M. Baeten, M. A. Reniers
- 2004
|
|
23
|
Process algebra for hybrid systems
– J. A. Bergstra, C. A. Middelburg
- 2003
|
|
3
|
Discrete-Time Process Algebra with Empty Process
– J.C.M. Baeten, J. J. Vereijken
- 1997
|
|
1
|
ITU-T Recommendation G.107 : The E-Model, a computational model for use in transmission planning
– J. A. Bergstra, C. A. Middelburg
- 2003
|
|
25
|
Process algebra with timing: real time and discrete time
– J. C. M. Baeten, C. A. Middelburg
- 2001
|
|
3
|
Timing the untimed: Terminating successfully while being conservative
– J. C. M. Baeten, M. R. Mousavi, M. A. Reniers
- 2005
|
|
3
|
Partial Order Models for Quantitative Extensions of LOTOS
– Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella
- 1997
|
|
82
|
A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
– Marco Bernardo, Roberto Gorrieri
- 1998
|
|
5
|
An Axiomatization for Regular Processes in Timed Branching Bisimulation
– Wan Fokkink
- 1998
|
|
|
Timed Frame Models for Discrete Time Process Algebras
– Bergstra Middelburg Warinschi
- 1997
|
|
2
|
Timed Frame Models for Discrete Time Process Algebras
– J.A. Bergstra, C.A. Middelburg, B. Warinschi
- 1997
|
|
16
|
Discrete Time Process Algebra with Silent Step
– J.C.M. Baeten, J.A. Bergstra, M.A. Reniers
- 2000
|
|
35
|
A brief history of process algebra
– J. C. M. Baeten
- 2004
|
|
5
|
SOS formats and meta-theory: 20 years after
– Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote
- 2007
|
|
36
|
A general conservative extension theorem in process algebra
– Pedro R. D’Argenio, Chris Verhoef
- 1994
|
|
4
|
Process algebra with nonstandard timing
– C. A. Middelburg
- 2001
|
|
1
|
A Faster-than Relation for Asynchronous Processes
– Gerald Lüttgen, Walter Vogler
|
|
|
State-Transition Based Techniques for Specifying Real-Time Systems: A Review
– A. Sowmya, J. Zic
|
|
42
|
A Process Algebra of Communicating Shared Resources with Dense Time and Priorities
– Patrice Bremond-Gregoire , Insup Lee
- 1997
|
