The logical basis for computer programming. Volume 1: deductive reasoning
The logical basis for computer programming. Volume 1: deductive reasoning
Concurrent programming in Ada
Development of a debugger for a concurrent language
IEEE Transactions on Software Engineering
Modeling concurrency with partial orders
International Journal of Parallel Programming
Task sequencing language for specifying distributed Ada systems
Proc. of the CRAI Workshop on Software Factories and Ada on System development and Ada
Multidimensional Timestamp Protocols for Concurrency Control
IEEE Transactions on Software Engineering
Global events and global breakpoints in distributed systems
Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track
Description for a Tool Specifying and Prototyping Concurrent Programs
IEEE Transactions on Software Engineering
Partial orders for parallel debugging
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Design and verification of distributed tasking supervisors for concurrent programming languages
Design and verification of distributed tasking supervisors for concurrent programming languages
Logical Time in Distributed Computing Systems
Computer - Distributed computing systems: separate resources acting as one
| Hi-index | 0.00 |