scientific article; zbMATH DE number 4213438

zbMATH Open0733.68027MaRDI QIDQ3359754FDOQ3359754

Authors: Philippe Darondeau, Pierpaolo Degano 

Publication date: 1990

Title of this publication is not available (Why is that?)

Recommendations

• Refinement of actions in event structures and causal trees
• Towards action refinement for true concurrent real time
• Refinement of actions and equivalence notions for concurrent systems
• Action refinement and property inheritance in systems of sequential agents
• Bisimulation and action refinement

zbMATH Keywords

concurrencynon-determinismhistory preserving bisimulation

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

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)