|
1
|
eRENA3.1] Demonstration and Evaluation of Inhabited Television, eRENA Deliverable 3.1
– Wan Fokkink, Jun Pang
- 1998
|
|
3
|
Verified design of an automated parking garage
– Aad Mathijssen, A. Johannes Pretorius
- 2007
|
|
1
|
Reniers. Designing and understanding the behaviour of systems: Lecture notes for RADV
– Jan Friso Groote, Michel Reniers
- 2007
|
|
16
|
Computer Assisted Manipulation of Algebraic Process Specifications
– J. F. Groote, B. Lisser, Jan Friso Groote, Bert Lisser
- 2001
|
|
5
|
Partial-Order Process Algebra (and its Relation to Petri Nets)
– J.C.M. Baeten, T. Basten
- 2000
|
|
|
www.elsevier.com/locate/entcs Process Algebra with Local Communication Muck van
– unknown authors
|
|
9
|
From μCRL to mCRL2 -- Motivation and Outline
– Jan Friso Groote, Aad Mathijssen, Muck Van Weerdenburg, Yaroslav Usenko
- 2006
|
|
8
|
The cones and foci proof technique for timed transition systems
– M. B. van der Zwaag
|
|
2
|
Achieving Discrete Relative Timing with Untimed Process Algebra
– A. J. Wijs
- 2007
|
|
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
|
|
4
|
A Checker For Modal Formulas For Processes With Data
– Jan Friso Groote, Tim A. C. Willemse
- 2002
|
|
30
|
µCRL: A toolset for analysing algebraic specifications
– Stefan Blom, Wan Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol
- 2001
|
|
12
|
Parameterised Boolean Equation Systems
– Jan Friso Groote, Tim Willemse
- 2004
|
|
6
|
Model-checking processes with data
– J. F. Groote, T. A. C. Willemse
- 2005
|
|
|
Cones and foci: A mechanical framework for protocol verification
– Wan Fokkink, Jun Pang, Jaco Pol
|
|
3
|
Action and predicate safety of hybrid processes
– P. J. L. Cuijpers, M. A. Reniers
- 2004
|
|
1
|
An Arrow Based Semantics for Interactive Applications
– Peter Achten, Marko Van Eekelen, Maarten De Mol, Rinus Plasmeijer
|
|
9
|
Model checking a cache coherence protocol for a Java DSM implementation
– Jun Pang, Wan Fokkink, Rutger Hofman, Ronald Veldema
- 2003
|
