A Formal Method for the Abstract Specification of Software
Journal of the ACM (JACM)
A Theory of Communicating Sequential Processes
Journal of the ACM (JACM)
A linear-history semantics for languages for distributed programming
Theoretical Computer Science
A survey of verification techniques for parallel programs
A survey of verification techniques for parallel programs
Communicating sequential processes
Communicating sequential processes
Specification-oriented semantics for communicating processes
Acta Informatica
The quest goes on: a survey of proof systems for partial correctness of CSP
Current trends in concurrency. Overviews and tutorials
Transaction processing primitives and CSP
IBM Journal of Research and Development
Algebraic specifications and proofs for communicating sequential processes
Proceedings of the NATO Advanced Study Institute on Logic of programming and calculi of discrete design
Occam as a hardware description language
Software Engineering Journal
Communication and concurrency
Software—Practice & Experience
Communicating process architecture
Communicating process architecture
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
High-Integrity Software
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Formal Description Technique Lotos: Results of the Esprit Sedos Project
Formal Description Technique Lotos: Results of the Esprit Sedos Project
Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem
Proceedings of the 12th Colloquium on Automata, Languages and Programming
Denotational Semantics for occam
Seminar on Concurrency, Carnegie-Mellon University
An Improved Failures Model for Communicating Processes
Seminar on Concurrency, Carnegie-Mellon University
On the Relationship of CCS and CSP
Proceedings of the 10th Colloquium on Automata, Languages and Programming
Abstraction and context in requirements engineering: Toward a synthesis
Annals of Software Engineering
| Hi-index | 0.00 |
A formal method for decomposing the critical requirements of a system into requirements of its component processes and a minimal, possibly empty, set of synchronization requirements is described. The trace model of Hoare's communicating sequential processes (CSP) is the basis for the formal method. The method is applied to an abstract voice transmitter and describes the role that the EHDM verification system plays in the transmitter's decomposition is described. In combination with other verification techniques, it is expected that this method will promote the development of more trustworthy systems.