Necessary and Sufficient Conditions on Partial Orders for Modeling Concurrent Computations

Himanshu Chauhan, Vijay K. Garg

Partial orders are used extensively for modeling and analyzing concurrent computations. In this paper, we define two properties of partially ordered sets: width-extensibility and i…