Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. J.W. de Bakker, WP. de Roever, G. Rozenberg (Eds.), Linear Time, Branching Time, and Partial Orders in Logics and Models of Concurrency, LNCS 354, Springer-Verlag, 1989.
2. J. van Benthem, The Logic of Time, Kluwer Academic Publishers, (1 ed. 1983), 2ed. 1991.
3. K. M. Chandy, J. Misra, How Processes Learn, Distributed Computing, 1, 40–52, 1986.
4. C. Fidge, Timestamps in message-passing systems that preserve partial ordering, Australian Computer Science Communications, Vol. 10, No. 1, 56–66, February 1988.
5. P.C. Fishburn, Interval Orders and Interval Graphs: A Study ofPartially Ordered Sets, Wiley & Sons, 1985.