Fischer's Protocol in Timed Process Algebra (1994)

Cached

Download Links

by Jan Joris Vereijken
Citations:7 - 2 self

Active Bibliography

A New Solution to Lamport's Concurrent Programming . . . – Gary L. Peterson - 1983
21 An Optimal Algorithm For Mutual Exclusion In . . . – Glenn Ricart, et al. - 1981
Appendix A – In Anticipation Of, Source Chris Hansen, Subscriber Line (adsl Transceivers
1 Long Lived and Adaptive Shared Memory Implementations – Gideon Stupp, Tel-aviv University, Yehuda Afek, Examing Committee - 2001
2 Efficient Object Sharing in Shared-Memory Multiprocessors – Mark Moir - 1996
Curriculum Vitae – Virendra Jayant Marathe, Michael L. Scott
9 Lamport on Mutual Exclusion: 27 Years of Planting Seeds – James H. Anderson - 2001
47 Shared-memory mutual exclusion: Major research trends since – James H. Anderson, Yong-jik Kim - 1986
40 Action Transducers and Timed Automata – Nancy Lynch, Frits Vandrager - 1996
12 Using Simulation Techniques to Prove Timing Properties – Victor Luchangco - 1995
43 Automatic Verification of Real-Time Communicating Systems by Constraint-Solving – Wang Yi, Paul Pettersson, Mats Daniels - 1994
"Writers" – B. Randell, "readers, P. J. Courtois, F. Heymans
13 A First Come First Served Mutual Exclusion Algorithm With Small Communication Variables – Edward Lycklama, Vassos Hadzilacos - 1991
4 Real-Time Unity – Al Carruth - 1994
1 Verification in Higher Order Logic of Mutual Exclusion Algorithm – Victor A. CarreƱo, Victor A. Carre~no - 1993
Transition Assertions: A Higher-Order Logic Based Method for the Specification and Verification of Real-Time Systems – Victor Alberto Carreno Coll - 1997
57 An Implementation of Three Algorithms for Timing Verification Based on Automata Emptiness – R. Alur, C. Courcoubetis, D. Dill, N. Halbwachs, H. Wong-Toi - 1992
29 Verification of Real-Time Systems Using PVS – N. Shankar - 1993
96 Parametric real-time reasoning – Rajeev Alur, Thomas A. Henzinger , Moshe Y. Vardi - 1993