In: Theoretical Computer Science, Vol. 64, pages 281-304. 1989.
Abstract: Concurrent systems viewed as partially ordered sets of states are considered. A property of sytem states is called inevitable, if the system will eventually reach a state with this property. This notion is discussed within the partial order framework.