|
|
A New Solution to Lamport's Concurrent Programming . . .
– Gary L. Peterson
- 1983
|
|
|
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
|
|
8
|
Lamport on Mutual Exclusion: 27 Years of Planting Seeds
– James H. Anderson
- 2001
|
|
38
|
Shared-memory mutual exclusion: Major research trends since
– James H. Anderson, Yong-jik Kim
- 1986
|
|
38
|
Action Transducers and Timed Automata
– Nancy Lynch, Frits Vandrager
- 1996
|
|
12
|
Using Simulation Techniques to Prove Timing Properties
– Victor Luchangco
- 1995
|
|
40
|
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
|
|
3
|
Real-Time Unity
– Al Carruth
- 1994
|
|
64
|
Scheme: An interpreter for extended lambda calculus
– Gerald Jay Sussman, Guy L Steele Jr.
- 1975
|
|
28
|
Distributed FIFO Allocation of Identical Resources Using Small Shared Space
– Michael J. Fischer, Nancy A. Lynch, James E. Burns, Allan Borodin
- 1989
|
|
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
|
|
27
|
Verification of Real-Time Systems Using PVS
– N. Shankar
- 1993
|
|
73
|
Parametric real-time reasoning
– Rajeev Alur, Thomas A. Henzinger , Moshe Y. Vardi
- 1993
|
