In: Briggs, F.A.: Proceedings of the 1988 International Conference on Parallel Processing, Vol. 2, pages 150-156. Pennsylvania State Univ, University Park, PA, USA, 1988.
Abstract: A formal definition is presented of the semantics of concurrent systems with priority constraints. It is shown that neither partial orders, which form the basis of several formal semantical theories which explicitly model concurrency, nor total orders, which form the basis of all formal semantical theories which reduce concurrency to arbitrary interleaving, suffice for the treatment of priority.