A Theory of Communicating Sequential Processes
Journal of the ACM (JACM)
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Specification and Verified Decomposition of System Requirements Using CSP
IEEE Transactions on Software Engineering
Compositional reachability analysis using process algebra
TAV4 Proceedings of the symposium on Testing, analysis, and verification
On the analysis of cooperation and antagonism in networks of communicating processes
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
A ground-complete axiomatization of finite state processes in process algebra
CONCUR 2005 - Concurrency Theory
Multiple Viewpoint Contract-Based Specification and Design
Formal Methods for Components and Objects
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
Process algebra: a unifying approach
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Hi-index | 0.00 |