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.