Journal article icon

Journal article

On fixpoint logics and equivalences for processes with restricted nondeterminism

Abstract:

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 features can be characterized in logical terms, and various logics have been defined for this purpose. For instance, Hennessy–Milner logic is a modal language that captures strong bisimilarity, ...

Expand abstract
Publication status:
In Press
Peer review status:
Peer reviewed

Actions


Access Document


Publisher copy:
10.1093/logcom/exv032

Authors


More by this author
Department:
Computer Science, University of Oxford
Publisher:
Oxford University Press Publisher's website
Journal:
Journal of Logic and Computation
Publication date:
2015
DOI:
EISSN:
1465-363X
ISSN:
0955-792X

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP