A Timed Calculus for Distributed Objects with Clocks
No abstract available.
DOI 10.1007/3-540-47910-4_17
Related papers
- Using Time Instead of Timeout for Fault-Tolerant Distributed Systems TOPLAS 1984
- N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems POPL 2006
- Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time TACAS 1997
- Efficient Model-Checking of Timed Automata with Clock-Restriction Diagram APLAS 2001
- Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks CAV 2001
- Model Checking Probabilistic Timed Automata with One or Two Clocks TACAS 2007
- Efficient Timed Reachability Analysis Using Clock Difference Diagrams CAV 1999
- Compile-Time Analysis and Specialization of Clocks in Concurrent Programs CC 2009