Axiomatic semantics of communicating sequential processes
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
A linear-history semantics for languages for distributed programming
Theoretical Computer Science
Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Current trends in concurrency. Overviews and tutorials
Semantics for nondeterministic asynchronous broadcast networks
14th International Colloquium on Automata, languages and programming
A graph-theoretic approach for timing analysis and its implementation
IEEE Transactions on Computers - Special Issue on Real-Time Systems
A hoare-like proof system for analysing the computation time of programs
Science of Computer Programming
Applications of temporal logic to the specification of real time systems (extended abstract)
Proceedings of a Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Compositional semantics for real-time distributed computing
Information and Computation
A general-purpose algorithm for analyzing concurrent programs
Communications of the ACM
Communicating sequential processes
Communications of the ACM
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
A Static Analysis of CSP Programs
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
Proving real-time properties of programs with temporal logic
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
Compositional reachability analysis using process algebra
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Stepwise design of real-time systems
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Quality assurance through direct implementation of analysis and design constructs
ACM SIGSOFT Software Engineering Notes
Performance Estimation for Real-Time Distributed Embedded Systems
IEEE Transactions on Parallel and Distributed Systems
A formal design notation for real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Performance estimation for real-time distributed embedded systems
Readings in hardware/software co-design
An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems
IEEE Transactions on Computers
Stepwise Design of Real-Time Systems
IEEE Transactions on Software Engineering
Real-time specification and modeling with joint actions
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
| Hi-index | 0.01 |
A static analysis for reasoning about the temporal behaviors of programs in real-time distributed programming languages is proposed. The analysis is based on the action set semantics using the pure maximal parallelism model. It is shown how to specify and verify various timing properties of real-time programs. The approach provides only an approximate timing behavior, because the state information is ignored. However, many interesting properties such as parallel actions, deadlocks, livelocks, terminations, temporal errors, and failures, can be identified. Furthermore, the approach is compositional and thus makes it possible to reason about the timing properties incrementally. The method not only leads to efficient algorithms for the static analysis of CSP programs but also applies to many other languages.