Understanding concurrent systems
Auteur :
Roscoe, A.W.
Éditeur :
Springer London Ltd
ISBN :
9781848822573
Date de publication :
25 oct. 2010
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Grande Bretagne
CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C.A.R. A first point of reference for anyone wanting to use CSP or learn about its theory, the book also introduces other views of concurrency, using CSP to model and explain these.