Skip to main content
Book Chapter

CSP Descriptions and Proof Rules

  • Sharp R
Springer Berlin Heidelberg, (2008), 7-43
DOI: 10.1007/978-3-540-77541-6_2
N/ACitations
Citations of this article
1Readers
Mendeley users who have this article in their library.
Get full text

Abstract

In this book we shall describe protocols as systems of interacting processes, and we shall describe processes in a notation which, apart from minor deviations, is the notation of CSP in the form introduced by Hoare in his book ``Communicating Sequential Processes'' [64].

Cite

CITATION STYLE

APA

Sharp, R. (2008). CSP Descriptions and Proof Rules. In Principles of Protocol Design (pp. 7–43). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-77541-6_2

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free