Using message passing for distributed programming: proof rules and disciplines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
Distributed algorithms and protocols
Distributed algorithms and protocols
Understanding and verifying distributed algorithms using stratified decomposition
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
Knowledge and common knowledge in a distributed environment
Journal of the ACM (JACM)
Synchronization and control of distributed systems and programs
Synchronization and control of distributed systems and programs
Verification of sequential and concurrent programs
Verification of sequential and concurrent programs
Concurrent programming: principles and practice
Concurrent programming: principles and practice
Knowledge-oriented programming
PODC '93 Proceedings of the twelfth annual ACM symposium on Principles of distributed computing
Reasoning about knowledge
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Layers as Knowledge Transitions in the Design of Distributed Systems
TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Action Systems and Action Refinement in the Development of Parallel Systems - An Algebraic Approach
CONCUR '91 Proceedings of the 2nd International Conference on Concurrency Theory
A Strategic Approach to Transformational Design
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Partial Order Based Design of Concurrent Systems
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Knowledge and common knowledge in a distributed environment
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
An epistemic proof system for parallel processes: extended abstract
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
| Hi-index | 0.00 |