Non interleaving process algebra
Publication date
1993
Authors
Baeten, J.C.M.
Bergstra, J.A.
Editors
Advisors
Supervisors
DOI
Document Type
Article
Metadata
Show full item recordCollections
License
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.
Keywords
interleaving, Petri net, process algebra, true concurrency, non-interleaving, ACP