Pages that link to "Item:Q1923088"
From MaRDI portal
The following pages link to Forward and backward simulations. II: Timing-based systems (Q1923088):
Displaying 14 items.
- Reversibility in the higher-order \(\pi\)-calculus (Q264996) (← links)
- Weak bisimulation for probabilistic timed automata (Q606996) (← links)
- Towards a real-time distributed computing model (Q1004326) (← links)
- Liveness in timed and untimed systems (Q1271471) (← links)
- What's decidable about hybrid automata? (Q1273866) (← links)
- Eventually-serializable data services (Q1292429) (← links)
- A process algebra of communicating shared resources with dense time and priorities (Q1389685) (← links)
- Hybrid I/O automata. (Q1427865) (← links)
- Revisiting the PAXOS algorithm (Q1575634) (← links)
- Refinement of time (Q1589580) (← links)
- Action transducers and timed automata (Q1816917) (← links)
- Trade-off results for connection management (Q1853581) (← links)
- Iterating transducers (Q1858440) (← links)
- Reconciling fault-tolerant distributed algorithms and real-time computing (Q2251157) (← links)
