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

Cached

Download Links

by Jan Friso Groote, Jan Springintveld
Citations:41 - 11 self

Documents Related by Co-Citation

257 Branching Time and Abstraction in Bisimulation Semantics – Rob J. Van Glabbeek, W. Peter Weijland - 1996
47 Invariants in process algebra with data – M A Bezem, J F Groote - 1994
3242 Communication and Concurrency – R Milner - 1989
97 The syntax and semantics of CRL – J F Groote, A Ponse - 1994
87 The syntax and semantics of μCRL – J F Groote, A Ponse - 1995
744 Parallel Program Design: A Foundation – K M Chandy, J Misra - 1988
3451 Communicating Sequential Processes – C. A. R. Hoare - 1985
1351 A calculus of communicating systems – R Milner - 1980
13 de Pol, “Checking verifications of protocols and distributed systems by computer – J F Groote, F Monin, J C van - 1998