Formal Justification of a Proof System for Communicating Sequential Processes
Journal of the ACM (JACM)
A Proof System for Communicating Sequential Processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes
Communications of the ACM
Verifying properties of parallel programs: an axiomatic approach
Communications of the ACM
A survey of distributed deadlock detection algorithms
ACM SIGMOD Record
Conformity analysis for communication protocols
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Specifying software/hardware interactions in distributed systems
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Specification and verification of liveness properties of cyclic, concurrent processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Distributed Deadlock Detection and Resolution Algorithm and its Correctness Proof
IEEE Transactions on Software Engineering
Predicates are predicate transformers: a unified compositional theory for concurrency
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
Static Analysis of Real-Time Distributed Systems
IEEE Transactions on Software Engineering
Documenting framework behavior
ACM Computing Surveys (CSUR)
A communication library to support concurrent programming courses
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
Refining Interactions in a Distributed System
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
The Need for Compositional Proof Systems: A Survey
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
A compositional trace logic for behavioural interface specifications
Nordic Journal of Computing
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
Electronic Notes in Theoretical Computer Science (ENTCS)
A Verification System for Distributed Objects with Asynchronous Method Calls
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
On Message Specifications in OCL
Electronic Notes in Theoretical Computer Science (ENTCS)
Communication traces in the verification of distributed programs
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
An assume/guarantee based compositional calculus for hybrid CSP
TAMC'12 Proceedings of the 9th Annual international conference on Theory and Applications of Models of Computation
A system for compositional verification of asynchronous objects
Science of Computer Programming
Compositional Proofs For Networks Of Processes
Fundamenta Informaticae
Compositional reasoning about shared futures
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
A relational trace logic for simple hierarchical actor-based component systems
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
Hi-index | 0.00 |