Specifying message passing systems requires extending temporal logic
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Reasoning of real-time distributed programming languages
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
The Specification and Verified Decomposition of System Requirements Using CSP
IEEE Transactions on Software Engineering
Trace-based network proof systems: expressiveness and completeness
ACM Transactions on Programming Languages and Systems (TOPLAS)
Compositional specification and verification of distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Need for Compositional Proof Systems: A Survey
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
P-A logic: a compositional proof system for distributed programs
Distributed Computing
| Hi-index | 0.03 |