Static analysis of real-time distributed systems
- 1 January 1988
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 134-138
- https://doi.org/10.1007/3-540-50302-1_9
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- A Graph-Theoretic Approach for Timing Analysis and its ImplementationIEEE Transactions on Computers, 1987
- Semantics for nondeterministic asynchronous broadcast networksPublished by Springer Nature ,1987
- Proving Correctness of CSP Programs — A TutorialPublished by Springer Nature ,1986
- Compositional semantics for real-time distributed computingPublished by Springer Nature ,1985
- A general-purpose algorithm for analyzing concurrent programsCommunications of the ACM, 1983
- Temporal logic can be more expressiveInformation and Control, 1983
- On the algorithmic properties of concurrent programsPublished by Springer Nature ,1981
- Communicating sequential processesCommunications of the ACM, 1978