Proof-Checking Protocols using Bisimulations (1999)

View PDF

Download Links

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

Documents Related by Co-Citation

700 Concurrency and automata on infinite sequences – D Park - 1981
41 Focus points and convergent process operators: A proof strategy for protocol verification – Jan Friso Groote, Jan Springintveld - 1995
75 Speci of Abstract Data Types – J Loeckx, H-D Ehrich, M Wolf - 1996
273 Branching Time and Abstraction in Bisimulation Semantics – Rob J. Van Glabbeek, W. Peter Weijland - 1996
1145 Computer Networks – A S Tanenbaum - 2002
3430 Communication and Concurrency – R Milner - 1989
774 Parallel program design : a foundation – K M Chandy, J Misra - 1988
4331 Computer Architecture: a quantitative approach (3rd ed – J L Hennessy, D A Patterson - 2003
811 Design and Validation of Computer Protocols – G J Holzmann - 1990