Formal Justification of a Proof System for Communicating Sequential Processes

Modeling the distributed termination convention of CSP

ACM Transactions on Programming Languages and Systems (TOPLAS)

Axiomatic semantics of communicating sequential processes

ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174

What processes know: Definitions and proof methods

PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing

Transition systems, infinitary languages and the semantics of uniform concurrency

STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing

Proving concurrent constraint programs correct

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Proving concurrent constraint programs correct

ACM Transactions on Programming Languages and Systems (TOPLAS)

Operational semantics of a parallel object-oriented language

POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Proof-Outlines for Threads in Java

CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory

An epistemic proof system for parallel processes: extended abstract

TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge

A shared-variable concurrency analysis of multi-threaded object-oriented programs

Theoretical Computer Science

A sound and complete shared-variable concurrency model for multi-threaded Java programs

FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems

Reasoning about recursive processes in shared-variable concurrency

Concurrency, Compositionality, and Correctness