Recommendations
Cited in
(51)- Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions
- Bisimulation on speed: a unified approach
- Revisiting timing in process algebra.
- Process algebra with strategic interleaving
- Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic?
- scientific article; zbMATH DE number 1876862 (Why is no real title available?)
- Fixing Zeno gaps
- SOS rule formats for zero and unit elements
- SOS formats and meta-theory: 20 years after
- scientific article; zbMATH DE number 1412988 (Why is no real title available?)
- An algebra of hybrid systems
- Process algebraic modelling of attentional capture and human electrophysiology in interactive systems
- A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets
- Service oriented computing from a process algebraic perspective
- Model-based engineering of embedded systems using the hybrid process algebra Chi
- scientific article; zbMATH DE number 1810494 (Why is no real title available?)
- Dormancy-aware timed branching bisimilarity with an application to communication protocol analysis
- SAT-based verification for timed component connectors
- Rule formats for determinism and idempotence
- Duplication of constants in process algebra
- Repairing time-determinism in the process algebra for hybrid systems
- Hybrid process algebra
- Extending Timed Process Algebra with Discrete Stochastic Time
- Process algebra for hybrid systems
- A process calculus with finitary comprehended terms
- Axiomatizing maximal progress and discrete time
- An algebraic theory of multiple clocks
- On rule formats for zero and unit elements
- The algebra of timed processes, ATP: Theory and application
- An alternative formulation of operational conservativity with binding terms.
- Syntax and consistent equation semantics of hybrid Chi
- Notions of bisimulation and congruence formats for SOS with data
- A brief history of process algebra
- scientific article; zbMATH DE number 2086649 (Why is no real title available?)
- Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation
- Symbolic timing devices
- Continuity controlled hybrid automata
- A barred operational semantics for a subset of WS-CDL with time restrictions
- Virtually timed ambients: a calculus of nested virtualization
- Algebra of timed frames
- Formal Methods for the Design of Real-Time Systems
- A timed calculus for wireless systems
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs
- Real time process algebra
- Suitability of mCRL2 for concurrent-system design: a \(2 \times 2\) Switch case study
- scientific article; zbMATH DE number 497653 (Why is no real title available?)
- Discrete time process algebra with abstraction
- Worst-case response time analysis of real-time tasks under fixed-priority scheduling with deferred preemption
- Modeling time in computing.
- scientific article; zbMATH DE number 1216183 (Why is no real title available?)
- Specification, testing and implementation relations for symbolic-probabilistic systems
This page was built for publication: Process algebra with timing
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1847280)
