Refinement of actions for real-time concurrent systems with causal ambiguity

DOI10.1007/S00236-005-0172-4zbMath1089.68071OpenAlexW1539863740MaRDI QIDQ2491208

Jinzhao Wu, Houguang Yue, Mila E. Majster-Cederbaum

Publication date: 26 May 2006

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-005-0172-4

zbMATH Keywords

ConcurrencyAction refinementCausal ambiguityTimed bundle event structure with causal ambiguity

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Algebra of communicating processes with abstraction
• A theory of timed automata
• Towards action refinement for true concurrent real time
• Bundle event structures: a revised cpo approach.
• Timing and causality in process algebra
• Refinement of actions and equivalence notions for concurrent systems
• Metric semantics for true concurrent real time
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Refinement of actions for real-time concurrent systems with causal ambiguity