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, the...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1093/logcom/exv032

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
Publisher:
Oxford University Press Publisher's website
Journal:
Journal of Logic and Computation Journal website
Volume:
28
Issue:
4
Pages:
779–807
Publication date:
2015-06-08
DOI:
EISSN:
1465-363X
ISSN:
0955-792X
Language:
English
Keywords:
UUID:
uuid:375e1c0a-1021-407b-b9c5-96a0a1d42c23
Deposit date:
2015-11-11

Terms of use


Views and Downloads






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

TO TOP