scientific article; zbMATH DE number 4213438
From MaRDI portal
Publication:3359754
zbMATH Open0733.68027MaRDI QIDQ3359754FDOQ3359754
Authors: Philippe Darondeau, Pierpaolo Degano
Publication date: 1990
Title of this publication is not available (Why is that?)
Recommendations
Cited In (20)
- Action refinement applied to late decisions
- Title not available (Why is that?)
- Semantic domains of timed event structures
- Contexts, refinement and determinism
- A formal approach to using data distributions for building causal polytree structures
- Well-behaved flow event structures for parallel composition and action refinement
- Title not available (Why is that?)
- Title not available (Why is that?)
- Concurrent bisimulations in Petri nets
- Timing and causality in process algebra
- Universal axioms for bisimulations
- Causality, behavioural equivalences, and the security of cyberphysical systems
- Superposition: composition vs refinement of non-deterministic, action-based systems
- Taking decisions late: end-based choice combined with action refinement
- Bisimulation and action refinement
- A note on causal trees and their applications to CCS
- Hierarchical models for relational event sequences
- Refinement of actions in event structures and causal trees
- Location equivalence in a parametric setting
- Title not available (Why is that?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3359754)