|
1
|
eRENA3.1] Demonstration and Evaluation of Inhabited Television, eRENA Deliverable 3.1
– Wan Fokkink, Jun Pang
- 1998
|
|
|
Cones and foci: A mechanical framework for protocol verification
– Wan Fokkink, Jun Pang, Jaco Pol
|
|
7
|
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
|
|
|
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
|
|
3
|
Reniers. Timed process algebra (with a focus on explicit termination and relative-timing
– J. C. M. Baeten, M. A. Reniers
- 2004
|
|
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
|
|
1
|
Reniers. Designing and understanding the behaviour of systems: Lecture notes for RADV
– Jan Friso Groote, Michel Reniers
- 2007
|
|
35
|
A brief history of process algebra
– J. C. M. Baeten
- 2004
|
|
2
|
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
|
|
16
|
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
|
|
38
|
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
|
|
82
|
A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
– Marco Bernardo, Roberto Gorrieri
- 1998
|
|
|
The Tree Identify Protocol of IEEE 1394 in µCRL
– Carron Shankland, Mark Van Der Zwaag
- 1998
|
|
2
|
Achieving Discrete Relative Timing with Untimed Process Algebra
– A. J. Wijs
- 2007
|
