Algebraic Process Verification (0)

by J. F. Groote , M. A. Reniers
Venue:Handbook of Process Algebra, chapter 17
Citations:62 - 16 self

Documents Related by Co-Citation

87 Syntax and semantics of µCRL – J F Groote, A Ponse - 1995
3200 Communication and Concurrency – R Milner - 1989
21 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
81 OPEN/CÆSAR: An Open Software Architecture for Verification, Simulation, and Testing – H Garavel - 1998
1323 A Calculus of Communicating Systems – R Milner
34 µCRL: A toolset for analysing algebraic specifications – Stefan Blom, Wan Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol - 2001
91 Process Algebra, volume 18 of Cambridge Tracts – J C M Baeten, W P Weijland - 1990
22 Verification of Temporal Properties of Processes in a Setting with Data – Jan Friso Groote, Radu Mateescu - 1999
6 Equational Binary Decision Diagrams – J. F. Groote, J. C. Van De Pol, Jan Friso Groote, Jaco Van De Pol - 2000
77 CADP - A Protocol Validation and Verification Toolbox – Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu - 1996
97 The syntax and semantics of CRL – J F Groote, A Ponse - 1994
249 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
18 Analysis of a distributed system for lifting trucks – J.F. Groote, J.Pang , A.G. Wouters - 2003
71 On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels – Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson - 1998
256 Results on the propositional mu–calculus – D Kozen - 1983
56 The Power of QDDs – Bernard Boigelot, Patrice Godefroid, Bernard Willems, Pierre Wolper - 1997
139 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
61 Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic – Tevfik Bultan, Richard Gerber, William Pugh