Adequate proof principles for invariance and liveness properties of concurrent programs
Science of Computer Programming
Control predicates are better than dummy variables for reasoning about program control
ACM Transactions on Programming Languages and Systems (TOPLAS)
Computing reachable states of parallel programs
PADD '91 Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging
Communicating sequential processes
Communications of the ACM
Formal verification of parallel programs
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
A Calculus of Communicating Systems
A Calculus of Communicating Systems
A Discipline of Programming
Hi-index | 0.00 |