Forward and backward simulations. II: Timing-based systems
From MaRDI portal
Publication:1923088
DOI10.1006/inco.1996.0060zbMath0856.68103OpenAlexW2041617655MaRDI QIDQ1923088
Nancy A. Lynch, Frits W. Vaandrager
Publication date: 1 October 1996
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.1996.0060
Related Items (19)
Reversibility in the higher-order \(\pi\)-calculus ⋮ Liveness in timed and untimed systems ⋮ A Proof-Based Method for Modelling Timed Systems ⋮ Weak bisimulation for probabilistic timed automata ⋮ A process algebra of communicating shared resources with dense time and priorities ⋮ A basic compositional model for spiking neural networks ⋮ On specifications and proofs of timed circuits ⋮ Hybrid I/O automata. ⋮ Reconciling fault-tolerant distributed algorithms and real-time computing ⋮ A menagerie of timed automata ⋮ Towards a real-time distributed computing model ⋮ Action transducers and timed automata ⋮ Liveness in timed and untimed systems ⋮ What's decidable about hybrid automata? ⋮ Revisiting the PAXOS algorithm ⋮ Eventually-serializable data services ⋮ Refinement of time ⋮ Trade-off results for connection management ⋮ Iterating transducers
This page was built for publication: Forward and backward simulations. II: Timing-based systems
