Proof-Checking Protocols using Bisimulations (1999)

Cached

Download Links

by Christine Röckl , Javier Esparza
Venue:IN PROC. CONCUR’99, LNCS 1664
Citations:11 - 2 self

Documents Related by Co-Citation

39 Focus points and convergent process operators: A proof strategy for protocol veri cation – Jan Friso Groote - 1995
31 Compositional Verification of Distributed Systems – B Jonsson - 1987
658 Concurrency and automata on infinite sequences – D Park - 1981
62 Algebraic Process Verification – J. F. Groote, M. A. Reniers
249 Branching Time and Abstraction in Bisimulation Semantics – Rob J. Van Glabbeek, W. Peter Weijland - 1996
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
29 Verification in Xesar of the sliding window protocol – J L Richier, C Rodriguez, J Sifakis, J Voiron - 1987
6 Verifying a sliding-window protocol using PVS – V Rusu - 2001
74 Specification of Abstract Data Types – H Ehrich, J Loeckx, M Wolf - 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
4 A study of a one bit sliding window protocol in ACP – J J van Wamel - 1992
12 Verification of two communication protocols by means of process algebra – F W Vaandrager - 1986
4 de Snepscheut. The sliding window protocol revisited – J L A van - 1995
8 Using higher order logic for modelling real-time protocols – R Cardell-Oliver - 1991
10 An incremental specification of the sliding-window protocol – K Paliwoda, J W Sanders - 1991
9 Cones and Foci for Protocol Verification Revisited – Wan Fokkink, Jun Pang - 2003
14 Verification of a sliding window protocol using IOA and MONA – M A Smith, N Klarlund
7 Divide, abstract, and model-check – Karsten Stahl, Kai Baukus, Yassine Lakhnech, Martin Steffen - 1999