Action refinement for real-time concurrent processes with urgency

MaRDI QIDQ2851078zbMATH OpenFDO

Authors Guangping Qin, Jinzhao Wu

Publication date 2 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105051194

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Refinement of actions in a real-time process algebra with a true concurrency model
• Towards action refinement for true concurrent real time
• scientific article; zbMATH DE number 1795753
• Refinement of actions for real-time concurrent systems with causal ambiguity
• Action refinement and equivalence notions for timed event structures

Cited in

(5)

• Towards action refinement for true concurrent real time
• Refinement of actions for real-time concurrent systems with causal ambiguity
• Composing real-time concurrent objects refinement, compatibility and schedulability
• The expressive power of urgent, lazy and busy-waiting actions in timed processes Research supported by Murst progetto Saladin: Software Architectures and Languages to Coordinate Distributed Mobile Components.
• scientific article; zbMATH DE number 1795753 (Why is no real title available?)

This page was built for publication: Action refinement for real-time concurrent processes with urgency

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