The Specification and Verified Decomposition of System Requirements Using CSP
IEEE Transactions on Software Engineering
ISCA '85 Proceedings of the 12th annual international symposium on Computer architecture
A pragmatic basis for the formal development of distributed systems
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Models for data-flow sequential processes
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
A refinement calculus for communicating processes with state
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
An unbounded nondeterministic model for CSP-like Languages
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Hi-index | 0.00 |