Refinement of actions in a real-time process algebra with a true concurrency model
zbMATH Open1270.68213MaRDI QIDQ2844829FDOQ2844829
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
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
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)
Cites Work
- A theory of timed automata
- Title not available (Why is that?)
- Title not available (Why is that?)
- Refinement of actions and equivalence notions for concurrent systems
- Timing and causality in process algebra
- Action refinement.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Towards action refinement for true concurrent real time
- Title not available (Why is that?)
- Metric semantics for true concurrent real time
- Bundle event structures: a revised cpo approach.
- Title not available (Why is that?)
Cited In (11)
- Real-time specification and modeling with joint actions
- Title not available (Why is that?)
- 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
- Applying Formal Methods: Testing, Performance, and M/E-Commerce
- A refinement-based process algebra for timed automata
- 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
- Title not available (Why is that?)
Uses Software
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)
