scientific article; zbMATH DE number 497653
From MaRDI portal
Publication:4278673
Recommendations
- A complete axiomatization of finite-state ACSR processes
- Process algebra with timing
- Real time process algebra
- Formal Methods for the Design of Real-Time Systems
- Congruent weak bisimulation with dense real-time
- A refinement-based process algebra for timed automata
- Formal Methods for the Design of Real-Time Systems
- The real-time process algebra (RTPA)
- A real-time process algebra with open intervals and maximal progress
Cited in
(14)- A general conservative extension theorem in process algebras with inequalities
- The cones and foci proof technique for timed transition systems
- Action transducers and timed automata
- Process algebra with timing
- Discrete time process algebra
- An effective axiomatization for real time ACP
- Process algebra with timing: Real time and discrete time
- A real-time process algebra with open intervals and maximal progress
- scientific article; zbMATH DE number 1696881 (Why is no real title available?)
- Refinement of actions in a real-time process algebra with a true concurrency model
- scientific article; zbMATH DE number 1412988 (Why is no real title available?)
- Discrete time process algebra with abstraction
- Metric semantics for true concurrent real time
- Dormancy-aware timed branching bisimilarity with an application to communication protocol analysis
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4278673)
