scientific article; zbMATH DE number 4213438
From MaRDI portal
Publication:3359754
Recommendations
Cited in
(20)- scientific article; zbMATH DE number 6708360 (Why is no real title available?)
- Action refinement applied to late decisions
- scientific article; zbMATH DE number 7215282 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 4049120 (Why is no real title available?)
- scientific article; zbMATH DE number 1803731 (Why is no real title available?)
- Concurrent bisimulations in Petri nets
- Timing and causality in process algebra
- Universal axioms for bisimulations
- Superposition: composition vs refinement of non-deterministic, action-based systems
- Taking decisions late: end-based choice combined with action refinement
- Causality, behavioural equivalences, and the security of cyberphysical systems
- 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
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)
