Calculus of Communicating Systems
Explore this paper's citation graph
Summary
The Calculus of Communicating Systems is meant as a formal mathematical framework which can be used to specify communicating systems and to verify properties of them.
- Published
- 1991-01-01
- Cited by
- 3,881
- References
- 0
- Semantic Scholar
- https://api.semanticscholar.org/CorpusID:58291925
References
No references recorded for this paper.
Cited by
- Extending psi-calculi and their formal proofs
- The must preorder revisited: an algebraic theory for web services contracts
- Exposing models of behaviour of E-service components
- Model-based specification and design of large-scale embedded signal processing systems
- An open framework for certified system software
- TRUST-BY-CONTRACT: MODELLING, ANALYSING AND PREDICTING BEHAVIOUR OF SOFTWARE ARCHITECTURES
- Linear logic based calculi for object Petri nets
- An Axiomatic Treatment of Partial Correctness and Deadlock in a Shared Variable Parallel Language
- Translating CSP Specifications to Equivalent Petri Nets
- A Static Analysis Framework for Security Properties in Mobile and Cryptographic Systems
- Governance and control - challenges and approaches for service oriented architectures
- Systems Biology — the Broader Perspective
- Programming Model and Protocols for Reconfigurable Distributed Systems
- Mechanically verifying concurrent programs
- Relative Correctness of Real-Time Systems
- A systems biology approach to multi-scale modelling and analysis of planar cell polarity in drosophila melanogaster wing
- Bisimulations dans les calculs avec passivation
- Approximating Continuous Markov Processes
- A regular viewpoint on processes and algebra
- Probabilistic Modelling and Verification of Biological Systems
Related papers
No related papers recorded.