Journal of the ACM Bibliography
Leslie Lamport. The mutual
exclusion problem: Part I -- a theory of interprocess communication.
Journal of the ACM, 33(2):313-326, April 1986.
[BibTeX entry]
Selected papers that cite this one
- Rachel Ben-Eliyahu and Menachem Magidor. A temporal logic for proving
properties of topologically general executions. Information
and Computation, 124(2):127-144, 1 February 1996.
- James E. Burns and Nancy A. Lynch. Bounds on shared memory for mutual
exclusion. Information and Computation, 107(2):171-184,
December 1993.
- Danny Dolev and Nir Shavit. Bounded concurrent
time-stamping. SIAM Journal on Computing,
26(2):418-455, April 1997.
- Ryszard Janicki and Maciej Koutny. Semantics of inhibitor nets.
Information and Computation, 123(1):1-16, 15 November 1995.
- Ajay D. Kshemkalyani. Temporal
interactions of intervals in distributed systems. Journal of
Computer and System Sciences, 52(2):287-298, April 1996.
Shortcuts: