Time-constrained automata
Authors:
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 408-423
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Using mappings to prove timing properties1990
- Compositional semantics for real-time distributed computingInformation and Computation, 1988
- Data link layer: two impossibility results1988
- Time-dependent distributed systems: proving safety, liveness and real-time propertiesDistributed Computing, 1987
- Constructing two-writer atomic registers1987
- Hierarchical correctness proofs for distributed algorithms1987
- Fairness1986
- The drinking philosophers problemACM Transactions on Programming Languages and Systems, 1984
- On describing the behavior and implementation of distributed systemsTheoretical Computer Science, 1981
- A Calculus of Communicating Systems1980