Computer Assisted Manipulation of Algebraic Process Specifications (2001)

Cached

Download Links

by J. F. Groote , B. Lisser , Jan Friso Groote , Bert Lisser
Citations:17 - 3 self

Documents Related by Co-Citation

87 Syntax and semantics of µCRL – J F Groote, A Ponse - 1995
62 Algebraic Process Verification – J. F. Groote, M. A. Reniers
3200 Communication and Concurrency – R Milner - 1989
47 Invariants in process algebra with data – M A Bezem, J F Groote - 1994
39 Focus points and convergent process operators: A proof strategy for protocol veri cation – Jan Friso Groote - 1995
26 de Pol. State space reduction by proving confluence – S Blom, J van - 2002
29 Linearization in µCRL – Y Usenko - 2002
249 Branching Time and Abstraction in Bisimulation Semantics – Rob J. Van Glabbeek, W. Peter Weijland - 1996
77 CADP - A Protocol Validation and Verification Toolbox – Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu - 1996
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
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
20 Formal Verification of a Leader Election Protocol in Process Algebra – Lars-åke Fredlund, Jan Friso Groote, Lars-ake Fredlund, Jan Friso, Henri Korver - 1995
1323 A Calculus of Communicating Systems – R Milner
12 The Parallel Composition of Uniform Processes with Data – Jan Friso Groote, Jos van Wamel - 2001
13 de Pol, “Checking verifications of protocols and distributed systems by computer – J F Groote, F Monin, J C van - 1998
60 An efficient algorithm for branching bisimulation and stuttering equivalence – Jan Friso Groote, Frits Va - 1990
29 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
9 Correct performance of transaction capabilities – T Arts, I v Langevelde - 2001
22 Verification of Temporal Properties of Processes in a Setting with Data – Jan Friso Groote, Radu Mateescu - 1999