Algebraic Process Verification (0)

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

Active Bibliography

11 Modelling Distributed Systems – Wan Fokkink , Jan Friso Groote, Michel Reniers - 2003
2 Checking Verifications of Protocols and Distributed Systems By Computer – Jan Friso Groote, Francois Monin, Jaco van de Pol - 1998
18 Formalizing Process Algebraic Verifications in the Calculus of Constructions – Marc Bezem, Jan Friso Groote, Roland Bol
4 A Correctness Proof of the Bakery Protocol in µCRL – Jan Friso Groote, Henri Korver - 1994
6 On automating process algebra proofs – Henri Korver, Alex Sellink - 1996
5 A Note on n Similar Parallel Processes – J. F. Groote, Issn -x, Jan Friso Groote - 1997
39 Focus points and convergent process operators: A proof strategy for protocol veri cation – Jan Friso Groote - 1995
20 A Bounded Retransmission Protocol for Large Data Packets. A Case Study in Computer Checked Algebraic Verification – Jan Friso Groote, Jaco Van De Pol
12 The Parallel Composition of Uniform Processes with Data – Jan Friso Groote, Jos van Wamel - 2001
2 A formal axiomatization for alphabet reasoning with parametrized processes Henri Korver Alex Sellink – Alex Sellink, Alex Sellink, Henri Korver, M. P. A. Sellink, Henri Korver, Henri Korver, Henri Korver - 1997
Network Algebra for Synchronous and Asynchronous Dataflow – J.A. Bergstra, C. A. Middelburg, Gh. Stefanescu - 1995
3 Network Algebra for Asynchronous Dataflow – J.A. Bergstra, C. A. Middelburg, Gh. Stefanescu - 1997
9 Cones and Foci for Protocol Verification Revisited – Wan Fokkink, Jun Pang - 2003
24 Verification of Temporal Properties of Processes in a Setting with Data – Jan Friso Groote, Radu Mateescu - 1999
The Tree Identify Protocol of IEEE 1394 in µCRL – Carron Shankland, Mark Van Der Zwaag - 1998
7 Analysis of Three Hybrid Systems in Time µCRL – Jan Friso Groote, J. J. Van Wamel - 1998
5 Algebraic Verification of a Distributed Summation Algorithm – Jan Friso Groote, Jan Springintveld - 1996
17 Computer Assisted Manipulation of Algebraic Process Specifications – J. F. Groote, B. Lisser, Jan Friso Groote, Bert Lisser - 2001
Tutorial and Reference Guide for the µCRL toolset version 1.0 – Jan Friso Groote, Bert Lisser - 1999