Causal ambiguity and partial orders in event structures

DOI10.1007/3-540-63141-0_22zbMath1512.68171WikidataQ57802204 ScholiaQ57802204MaRDI QIDQ6044126

Joost-Pieter Katoen, R. Langerak, Ed Brinksma

Publication date: 17 May 2023

Published in: CONCUR '97: Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://research.utwente.nl/en/publications/f5b84c54-ed2d-4bce-ae48-2a2cbeafbf00

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (7)

Unnamed Item ⋮ Replication, refinement \& reachability: complexity in dynamic condition-response graphs ⋮ Towards a Truly Concurrent Semantics for Reversible CCS ⋮ Metric semantics for true concurrent real time ⋮ Synthesis and Analysis of Petri Nets from Causal Specifications ⋮ Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes ⋮ Dynamic Causality in Event Structures

Cites Work

• Unnamed Item
• Modeling concurrency with partial orders
• Linear time, branching time and partial order in logics and models for concurrency. School/workshop, Noordwijkerhout, The Netherlands, May 30- June 3, 1988. Proceedings
• Flow models of distributed computations: Three equivalent semantics for CCS

This page was built for publication: Causal ambiguity and partial orders in event structures