1. H. Gaifman. Modeling concurrency by partial orders and nonlinear transition systems. In Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, LNCS 354, pages 467–488, 1988.
2. P. Godefroid. Les modèles ordre partiel du parallélisme (partial order models for concurrency). Undergraduate thesis, Service d'Informatique, Université de Liège, June 1989.
3. R. Janicki and M. Koutny. On some implementation of optimal simulations. To appear in Proc. Computer-Aided Verification Workshop, Rutgers, 1990.
4. Y. Kornatzky and S. S. Pinter. A model checker for partial order temporal logic. EE PUB 597, Department of Electrical Enginering, Technion-Israel Institute of Technology, 1986.
5. S. Katz and D. Peled. An efficient verification method for parallel and distributed programs. In Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, LNCS 354, pages 489–507, 1988.