Communicating sequential processes
Communicating sequential processes
Computer
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Converging CSP specifications and C++ programming via selective formalism
ACM Transactions on Embedded Computing Systems (TECS)
Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
A Uniform Framework for Modeling and Verifying Components and Connectors
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
PAT: Towards Flexible Verification under Fairness
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Seven at one stroke: LTL model checking for high-level specifications in B, Z, CSP, and more
International Journal on Software Tools for Technology Transfer (STTT)
Specification, Verification and Implementation of Business Processes Using CSP
TASE '10 Proceedings of the 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering
Simulating truly concurrent CSP
SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
Boogie: a modular reusable verifier for object-oriented programs
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Hi-index | 0.01 |
Coordination languages allow us to separate interaction behavior from the sequential functional aspects of the components of concurrent systems. This helps us to reduce the complexities of such systems making them easier to design and to understand. However, there is still a gap between formal approaches to coordination and their implementation in programming languages. For example, CSP is often used as a coordination model but only subsets of CSP are supported by programming languages (e. g., occam) or frameworks (e. g., JCSP). In this paper, we present our approach to using a more complete CSP as a coordination language. Our approach allows us to use standard CSP tools for verifying the coordination processes of a system and to use these processes at runtime to coordinate the systems' components.