Simulation techniques for proving properties of real-time systems
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 375-424
- https://doi.org/10.1007/3-540-58043-3_24
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Simulating synchronized clocks and common knowledge in distributed systemsJournal of the ACM, 1993
- Using mappings to prove timing propertiesDistributed Computing, 1992
- Time-constrained automataPublished by Springer Nature ,1991
- Efficient at-most-once messages based on synchronized clocksACM SIGCOMM Computer Communication Review, 1990
- A timed model for communicating sequential processesTheoretical Computer Science, 1988
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986
- Complexity of network synchronizationJournal of the ACM, 1985
- Decomposition of distributed programs into communication-closed layersScience of Computer Programming, 1982
- An improved algorithm for decentralized extrema-finding in circular configurations of processesCommunications of the ACM, 1979
- Solution of a problem in concurrent programming controlCommunications of the ACM, 1965