Focus points and convergent process operators: A proof strategy for protocol veri cation (1995)

by Jan Friso Groote
Citations:39 - 11 self

Documents Related by Co-Citation

48 Invariants in Process Algebra with Data – M Bezem, J F Groote - 1994
87 Syntax and semantics of µCRL – J F Groote, A Ponse - 1995
249 Branching Time and Abstraction in Bisimulation Semantics – Rob J. Van Glabbeek, W. Peter Weijland - 1996
97 The syntax and semantics of CRL – J F Groote, A Ponse - 1994
3219 Communication and Concurrency – R Milner - 1990
62 Algebraic Process Verification – J. F. Groote, M. A. Reniers
28 Verification of a leader election protocol --- formal methods applied to IEEE 1394 – Marco Devillers, David Griffioen, Judi Romijn, Frits Vaandrager - 1997
13 de Pol, “Checking verifications of protocols and distributed systems by computer – J F Groote, F Monin, J C van - 1998
20 der Zwaag. The tree identify protocol of – C Shankland, M B van - 1998
47 Proof theory for CRL: A language for processes with data – J F Groote, A Ponse - 1994
17 Computer Assisted Manipulation of Algebraic Process Specifications – J. F. Groote, B. Lisser, Jan Friso Groote, Bert Lisser - 2001
16 Translating a process algebra with symbolic data values to linear format – D Bosscher, A Ponse - 1995
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
29 Linearization in µCRL – Y Usenko - 2002
364 Process algebra for synchronous communication – J. A. Bergstra, J. W. Klop - 1984
738 Parallel Program Design: A Foundation – K Chandy, J Misra - 1989
1330 A Calculus of Communicating Systems – R Milner - 1980
12 The Parallel Composition of Uniform Processes with Data – Jan Friso Groote, Jos van Wamel - 2001
26 de Pol. State space reduction by proving confluence – S Blom, J van - 2002