|
77
|
The syntax and semantics of µCRL
– J F Groote, A Ponse
- 1995
|
|
2970
|
Communication and Concurrency
– R Milner
- 1989
|
|
18
|
Linearization in Parallel pCRL
– J. F. Groote, A. Ponse, Y. S. Usenko, Mathematisch Centrum (smc, The Dutch Foundation, Jan Friso Groote, Yaroslav S. Usenko
- 2000
|
|
1224
|
A calculus of communicating systems
– R Milner
- 1980
|
|
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
|
|
88
|
Process Algebra, volume 18 of Cambridge Tracts
– J C M Baeten, W P Weijland
- 1990
|
|
19
|
Verification of Temporal Properties of Processes in a Setting with Data
– Jan Friso Groote, Radu Mateescu
- 1999
|
|
5
|
Equational Binary Decision Diagrams
– J. F. Groote, J. C. Van De Pol, Jan Friso Groote, Jaco Van De Pol
- 2000
|
|
73
|
Open/Cæsar: An Open Software Architecture for Verification, Simulation, and Testing
– H Garavel
- 1998
|
|
98
|
The syntax and semantics of CRL
– J F Groote, A Ponse
- 1995
|
|
223
|
Branching Time and Abstraction in Bisimulation Semantics
– Rob J. Van Glabbeek, W. Peter Weijland
- 1996
|
|
20
|
The syntax and semantics of timed µCRL
– J F Groote
- 1997
|
|
17
|
Analysis of a distributed system for lifting trucks
– J.F. Groote, J.Pang , A.G. Wouters
- 2003
|
|
64
|
On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels
– Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson
- 1998
|
|
52
|
The Power of QDDs
– Bernard Boigelot, Patrice Godefroid, Bernard Willems, Pierre Wolper
- 1997
|
|
121
|
Modeling and Verifying Systems using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions
– Randal E. Bryant, Shuvendu K. Lahiri, Sanjit A. Seshia
- 2002
|
|
221
|
Results on the propositional mu-calculus
– D Kozen
- 1983
|
|
56
|
Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic
– Tevfik Bultan, Richard Gerber, William Pugh
|
|
40
|
Verification of Modal Properties Using Boolean Equation Systems
– Angelika Mader
- 1997
|
