Paper Info
Title
Using CSP
Abstract
This is a tutorial on Communicating Sequential Processes (CSP): a language for modelling patterns of behaviour. It explores the design of the language, and shows how it may be used to construct descriptions of behavioural properties and distributed systems. It explains also how the use of the language may be supported by verification tools.
Year
DOI
Venue
2004
10.1007/11889229_3
PSSE
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
1
1
Name
Order
Citations
PageRank
Jim Davies167380.95