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.
CITATION STYLE
Baeten, J. C. M., & Bergstra, J. A. (1993). Non interleaving process algebra. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 715 LNCS, pp. 308–323). Springer Verlag. https://doi.org/10.1007/3-540-57208-2_22
Mendeley helps you to discover research relevant for your work.