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

656 Concurrency and automata on infinite sequences – D Park - 1981
256 Branching Time and Abstraction in Bisimulation Semantics – Rob J. Van Glabbeek, W. Peter Weijland - 1996
39 Focus points and convergent process operators: A proof strategy for protocol verification – Jan Friso Groote, Jan Springintveld - 1995
1067 Computation Networks – A Tanenbaum - 1989
3217 Communication and Concurrency – R MILNER - 1989
739 Parallel Program Design: A Foundation – K M Chandy, J Misra - 1988
3992 Computer Architecture: A Quantitative Approach – J L Hennessy, D A Patterson - 2007
769 Design and Validation of Computer Protocols – G Holzmann - 1991
950 Term Rewriting and All That – F Baader, T Nipkow - 1998