Fischer's Protocol in Timed Process Algebra (1994)

Cached

Download Links

by Jan Joris Vereijken
Citations:7 - 2 self

Active Bibliography

486 Algorithms for Scalable Synchronization on Shared-Memory Multiprocessors – John M. Mellor-crummey, Michael L. Scott - 1991
1107 Temporal and modal logic – E. Allen Emerson - 1995
536 Composing Specifications – Martín Abadi, Leslie Lamport - 1993
1977 A theory of timed automata – Rajeev Alur - 1999
806 The Temporal Logic of Actions – Leslie Lamport - 1993
598 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
623 Universally composable security: A new paradigm for cryptographic protocols – Ran Canetti - 2013
493 UPPAAL in a Nutshell – Kim G. Larsen, Paul Pettersson, Wang Yi - 1997
482 The Theory of Hybrid Automata – Thomas A. Henzinger - 1996