Forward and backward simulations. II: Timing-based systems
From MaRDI portal
Recommendations
Cited in
(25)- Trade-off results for connection management
- Oritatami System; a Survey and the Impossibility of Simple Simulation at Small Delays
- Reversibility in the higher-order \(\pi\)-calculus
- Iterating transducers
- Liveness in timed and untimed systems
- Action transducers and timed automata
- Generic Forward and Backward Simulations
- Refinement of time
- A proof-based method for modelling timed systems
- An automatic technique for checking the simulation of timed systems
- Hybrid I/O automata.
- What's decidable about hybrid automata?
- scientific article; zbMATH DE number 1512619 (Why is no real title available?)
- On specifications and proofs of timed circuits
- Using mappings to prove timing properties
- A process algebra of communicating shared resources with dense time and priorities
- Towards a real-time distributed computing model
- Forward and backward simulations. I. Untimed Systems
- Weak bisimulation for probabilistic timed automata
- Revisiting the PAXOS algorithm
- Reconciling fault-tolerant distributed algorithms and real-time computing
- Liveness in timed and untimed systems
- A menagerie of timed automata
- A basic compositional model for spiking neural networks
- Eventually-serializable data services
This page was built for publication: Forward and backward simulations. II: Timing-based systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1923088)
