Fischer's Protocol in Timed Process Algebra (1994)

by Jan Joris Vereijken
Citations:8 - 2 self

Active Bibliography

508 Algorithms for Scalable Synchronization on Shared-Memory Multiprocessors – John M. Mellor-crummey, Michael L. Scott - 1991
1177 Temporal and modal logic – E. Allen Emerson - 1995
859 The Temporal Logic of Actions – Leslie Lamport - 1993
558 UPPAAL in a Nutshell – Kim G. Larsen, Paul Pettersson, Wang Yi - 1997
2176 A theory of timed automata – Rajeev Alur - 1999
527 The Theory of Hybrid Automata – Thomas A. Henzinger - 1996
561 Composing Specifications – Martín Abadi, Leslie Lamport - 1993
658 The algorithmic analysis of hybrid systems – R. Alur, C. Courcoubetis, N. Halbwachs , T. A. Henzinger, P.-H. Ho, X. Nicollin , A. Olivero , J. Sifakis , S. Yovine - 1995
828 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999