In: Acta Informatica, Vol. 27, No. 2, pages 125-156. 1989.
Abstract: The authors generalize the (linear) failures semantics by taking steps (ie multisets of simultaneously occurring actions) instead of single actions as the basic execution. (The notion of step is taken from Petri net theory.) Hence opposed to linear semantics --- where parallelism is modelled as arbitrary interleaving --- the step failures semantics models parallelism explicitly. In particular a sound and complete proof system is given. Opposed to the linear model divergence is treated uniformly here. The relation to the linear semantics can be establisched using the newly introduced deparallelize operator.
Keywords: step failures semantics; proof system, complete; divergence; deparallelize operator.