Concurrent and maximally concurrent evolution of nonsequential systems
Theoretical Computer Science
Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
A graph-theoretic approach for timing analysis and its implementation
IEEE Transactions on Computers - Special Issue on Real-Time Systems
Concurrent computations and VLSI circuits
Control Flow and Data Flow: concepts of distributed programming
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
Toward a discipline of real-time programming
Communications of the ACM
The specification of process synchronization by path expressions
Operating Systems, Proceedings of an International Symposium
Proving real-time properties of programs with temporal logic
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
An interval logic for higher-level temporal reasoning
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Critical (of) Issues in Real-Time Systems: A Position Paper
Critical (of) Issues in Real-Time Systems: A Position Paper
An overview of path Pascal's design
ACM SIGPLAN Notices
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
| Hi-index | 0.00 |