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...
| Hlavní autor: | |
|---|---|
| Médium: | Journal article |
| Jazyk: | English |
| Vydáno: |
Oxford University Press
2015
|