|
223
|
Branching Time and Abstraction in Bisimulation Semantics
– Rob J. Van Glabbeek, W. Peter Weijland
- 1996
|
|
34
|
Focus points and convergent process operators: A proof strategy for protocol veri cation
– Jan Friso Groote
- 1995
|
|
28
|
Branching bisimilarity is an equivalence indeed
– Twan Basten
- 1996
|
|
152
|
Termination in Timed Process Algebra
– J.C.M. Baeten, M.A. Reniers
- 2000
|
|
5
|
Formal specification of JavaSpaces TM architecture using µCRL
– J C van de Pol, M Valero Espada
- 2002
|
|
5
|
Linearization of µCRL specifications (extended abstract
– Y S Usenko
- 2002
|
|
9
|
Analysis of a security protocol in µCRL
– Jun Pang
- 2002
|
|
16
|
Choice quantification in process algebra
– S P Luttik
- 2002
|
|
11
|
The Parallel Composition of Uniform Processes with Data
– Jan Friso Groote, Jos van Wamel
- 2001
|
|
21
|
Formal Verification of a Leader Election Protocol in Process Algebra
– Lars-åke Fredlund, Jan Friso Groote, Lars-ake Fredlund, Jan Friso, Henri Korver
- 1995
|
|
18
|
der Zwaag, “The tree identify protocol of
– C Shankland, M B van
|
|
3
|
der Zwaag. Completeness of timed µCRL
– J F Groote, M A Reniers, J J van Wamel, M B van
- 2000
|
|
10
|
The silent step in time
– A S Klusener
- 1992
|
|
20
|
The syntax and semantics of timed µCRL
– J F Groote
- 1997
|
|
36
|
On the consistency of Koomen’s fair abstraction rule
– J C M Baeten, J A Bergstra, J W Klop
- 1987
|
|
77
|
The syntax and semantics of µCRL
– J F Groote, A Ponse
- 1995
|
|
28
|
Semantics and Verification in Process Algebras with Data and Timing. Faculty of Mathematics and Computer Science, TU/e. 2003-05 S.V. Nedea. Analysis and Simulations of Catalytic Reactions. Faculty of Mathematics and Computer Science, TU/e. 2003-06 M.E.M.
– Tim A. C. Willemse, Timothy Ariën, Carol Willemse
- 2003
|
|
35
|
Languages for Analysis and Testing of Event Sequences. Faculty of Mathematics and Computing Science, TU/e
– 2001A G Engels
|
|
68
|
CADP - A Protocol Validation and Verification Toolbox
– Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu
- 1996
|
