Abstract
We study a non interleaving subalgebra of a reduct of a model of ACP. The model
discussed uses step bisimulation semantics. We can derive identities in this model with the
help of the (interleaving) ACP calculus with multi-actions. We study the connection with
Petri nets, and introduce causalities and a causal state operator.
