Communicating sequential processes
Communicating sequential processes
A model and temporal proof system for networks of processes
Distributed Computing
The quest goes on: a survey of proof systems for partial correctness of CSP
Current trends in concurrency. Overviews and tutorials
A theoretical basis for stepwise refinement and the programming calculus
Science of Computer Programming
A calculus of refinements for program derivations
Acta Informatica
Parallel program design: a foundation
Parallel program design: a foundation
Compositionality, concurrency and partial correctness
Compositionality, concurrency and partial correctness
Verification of sequential and concurrent programs
Verification of sequential and concurrent programs
Science of Computer Programming
Compositional specification and verification of distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Programming from specifications (2nd ed.)
Programming from specifications (2nd ed.)
A Proof System for Communicating Sequential Processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Program Verification
Communication and Concurrency
A Discipline of Programming
A Unified Model for CSP-like Languages with Specifications
Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
Denotational Semantics for occam
Seminar on Concurrency, Carnegie-Mellon University
An Improved Failures Model for Communicating Processes
Seminar on Concurrency, Carnegie-Mellon University
P-A logic: a compositional proof system for distributed programs
Distributed Computing
Proofs of Networks of Processes
IEEE Transactions on Software Engineering
From requirements to specifications: a formal approach
Proceedings of the 2006 international workshop on Advances and applications of problem frames
Pattern-Based Confidentiality-Preserving Refinement
ESSoS '09 Proceedings of the 1st International Symposium on Engineering Secure Software and Systems
An unbounded nondeterministic model for CSP-like Languages
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
| Hi-index | 0.00 |
A uniform treatment is presented of specifications, programs, and programming for communicating processes with machine state. The treatment is based on addition of a specification statement to a CSP-like language. The extended language is viewed as a specification language in which programs are identified with a subclass of specifications. A semantics is provided and here a selection of sound refinement laws is given to support the development of programs from specifications. The result is a homogeneous framework for the specification and development of parallel programs which, as usual, guarantees functional correctness of an implementation as a consequence of development using its laws. An example is given to demonstrate use of the method.