Refinement of actions in event structures and causal trees

DOI10.1016/0304-3975(93)90361-VzbMATH Open0805.68041MaRDI QIDQ688717FDOQ688717

Authors: Philippe Darondeau, Pierpaolo Degano 

Publication date: 6 December 1993

Published in: Theoretical Computer Science (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 4213438
• scientific article; zbMATH DE number 1534596
• Publication:5750408
• scientific article; zbMATH DE number 2090704
• scientific article; zbMATH DE number 176514

zbMATH Keywords

modelsaction refinementevent structuresprocess algebrascausal treestrue concurrency

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Petri nets, event structures and domains. I
• Algebraic laws for nondeterminism and concurrency
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A calculus of communicating systems
• Termination, deadlock, and divergence
• Branching time and abstraction in bisimulation semantics
• Title not available (Why is that?)
• Axiomatising Finite Concurrent Processes
• Title not available (Why is that?)
• Petri nets, algebras, morphisms, and compositionality
• Title not available (Why is that?)
• Concurrency and atomicity
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (21)

• Testing equivalences of time Petri nets
• Dynamic connectors for concurrency
• A causal operational semantics of action refinement
• Concurrent testing of processes
• Towards refinable choreographies
• Causality versus true-concurrency
• Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
• Introducing extra operations in refinement
• Well-behaved flow event structures for parallel composition and action refinement
• Action refinement and property inheritance in systems of sequential agents
• Towards a unified view of bisimulation: A comparative study
• A reduced maximality labeled transition system generation for recursive Petri nets
• Action refinement.
• Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice
• Taking decisions late: end-based choice combined with action refinement
• Title not available (Why is that?)
• Event structure semantics for multiparty sessions
• Modelling causality via action dependencies in branching time semantics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Refinement of actions in event structures and causal trees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q688717)