Refinement of actions in a real-time process algebra with a true concurrency model

MaRDI QIDQ2844829zbMATH OpenFDO

Authors Jinzhao Wu, Harald Fecher, Mila Majster-Cederbaum

Publication date 19 August 2013

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

Mathematics Subject Classification ID

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

Recommendations

• Towards action refinement for true concurrent real time
• scientific article; zbMATH DE number 2090704
• An action-based formal model for concurrent real-time systems
• scientific article; zbMATH DE number 497653
• scientific article; zbMATH DE number 108007
• Towards action-refinement in process algebras
• scientific article; zbMATH DE number 4180788
• scientific article; zbMATH DE number 1949613
• Refinement of actions for real-time concurrent systems with causal ambiguity

Cites work

• scientific article; zbMATH DE number 1670558 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 108007 (Why is no real title available?)
• scientific article; zbMATH DE number 140240 (Why is no real title available?)
• scientific article; zbMATH DE number 2090704 (Why is no real title available?)
• A theory of timed automata
• Action refinement.
• Bundle event structures: a revised cpo approach.
• Metric semantics for true concurrent real time
• Refinement of actions and equivalence notions for concurrent systems
• Timing and causality in process algebra
• Towards action refinement for true concurrent real time

Cited in

(11)

• scientific article; zbMATH DE number 2090704 (Why is no real title available?)
• Real-time specification and modeling with joint actions
• scientific article; zbMATH DE number 1751888 (Why is no real title available?)
• Towards action refinement for true concurrent real time
• Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
• Refinement of actions for real-time concurrent systems with causal ambiguity
• A refinement-based process algebra for timed automata
• Applying Formal Methods: Testing, Performance, and M/E-Commerce
• Action refinement for real-time concurrent processes with urgency
• Refinement of events in the development of real-time distributed systems
• Progress-preserving refinements of CTA

Describes a project that uses

Uses Software

• LOTOS

This page was built for publication: Refinement of actions in a real-time process algebra with a true concurrency model

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