Process algebra with timing: Real time and discrete time
From MaRDI portal
Recommendations
Cited in
(32)- Generating priority rewrite systems for OSOS process languages
- Bialgebraic methods and modal logic in structural operational semantics
- Revisiting timing in process algebra.
- An alternative formulation of operational conservativity with binding terms.
- Process algebra for hybrid systems
- Process algebra with timing
- Expired data collection in shared dataspaces.
- Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation
- Discrete time process algebra
- Decidability and complexity of action-based temporal planning over dense time
- Continuity controlled hybrid automata
- Decidability of performance equivalence for basic parallel processes
- Real time process algebra
- Discrete time process algebra and the semantics of SDL
- A real-time process algebra with open intervals and maximal progress
- scientific article; zbMATH DE number 1696898 (Why is no real title available?)
- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
- Testing Semantics for RTPA
- scientific article; zbMATH DE number 1216183 (Why is no real title available?)
- scientific article; zbMATH DE number 1876862 (Why is no real title available?)
- Embedding untimed into timed process algebra; the case for explicit termination
- Discrete time process algebra with abstraction
- Stochastic and Real Time in Process Algebra: A Conceptual Overview
- Bisimulation on speed: Lower time bounds
- Extending Timed Process Algebra with Discrete Stochastic Time
- A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets
- Processes, Terms and Cycles: Steps on the Road to Infinity
- Variable binding operators in transition system specifications
- Real time process algebra with time-dependent conditions
- Discussion on: ``Formal specification method for systems automation
- Bisimulation on speed: Worst-case efficiency
- Process-algebraic approaches for multi-agent systems: an overview
This page was built for publication: Process algebra with timing: Real time and discrete time
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2760247)
