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

DOI10.1007/S00236-005-0172-4MaRDI QIDQ2491208zbMATH OpenOpenAlexFDO

Authors Jinzhao Wu, Houguang Yue, Mila 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

Action refinementCausal ambiguityConcurrencyTimed 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)

Recommendations

• Towards action refinement for true concurrent real time
• Refinement of actions and equivalence notions for concurrent systems
• Refinement of actions in a real-time process algebra with a true concurrency model
• Specification and verification of concurrent systems by causality and realizability
• scientific article; zbMATH DE number 2090704
• An action-based formal model for concurrent real-time systems
• Action refinement for real-time concurrent processes with urgency
• scientific article; zbMATH DE number 1949613

Cites work

• A theory of timed automata
• Action refinement for real-time concurrent processes with urgency
• Action refinement.
• Algebra of communicating processes with abstraction
• Bundle event structures: a revised cpo approach.
• scientific article; zbMATH DE number 1696445 (Why is no real title available?)
• scientific article; zbMATH DE number 4018370 (Why is no real title available?)
• scientific article; zbMATH DE number 4074506 (Why is no real title available?)
• scientific article; zbMATH DE number 17804 (Why is no real title available?)
• scientific article; zbMATH DE number 140240 (Why is no real title available?)
• scientific article; zbMATH DE number 465527 (Why is no real title available?)
• scientific article; zbMATH DE number 1988986 (Why is no real title available?)
• scientific article; zbMATH DE number 1479625 (Why is no real title available?)
• scientific article; zbMATH DE number 4119660 (Why is no real title available?)
• scientific article; zbMATH DE number 2090704 (Why is no real title available?)
• Metric semantics for true concurrent real time
• Refinement of actions and equivalence notions for concurrent systems
• Refinement of actions in a real-time process algebra with a true concurrency model
• Timing and causality in process algebra
• Towards action refinement for true concurrent real time

Cited in

(6)

• Towards action refinement for true concurrent real time
• Refinement of actions in a real-time process algebra with a true concurrency model
• Action refinement for real-time concurrent processes with urgency
• scientific article; zbMATH DE number 1751888 (Why is no real title available?)
• scientific article; zbMATH DE number 1795753 (Why is no real title available?)
• scientific article; zbMATH DE number 2090704 (Why is no real title available?)

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

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