On fixpoint logics and equivalences for processes with restricted nondeterminism
In concurrency, processes can be studied using a partial order or an interleaving semantics. In partial order semantics, at least four different kinds of behaviour can be recognized: concurrency, causality, conflict and confusion. In interleaving semantics, only conflicts can be observed. All these...
| Main Author: | |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
Oxford University Press
2015
|