In: Informatique théorique et Applications, Vol. 24, No. 1, pages 37-46. 1990.
Abstract: The paper deals with the concurrent systems viewed as partially ordered sets. A set of system states is called inevitable if each execution of the system meets this set. Single executions of concurrent systems are represented by maximal directed subsets of this system; they are called processes. A distinguished class of processes, called diamond processes, is defined and investigated. Inevitable subsets of diamond processes are characterized.
Keywords: inevitability; diamond process.