The Theory and Practice of Concurrency

Roscoe, A. W.

 
9780136744092: The Theory and Practice of Concurrency
ISBN 10: 0136744095 ISBN 13: 9780136744092
Casa editrice: Prentice Hall, 1997

Sinossi

Since the introduction of Hoares' Communicating Sequential Processes notation, powerful new tools have transformed CSP into a practical way of describing industrial-sized problems. This book gives you the fundamental grasp of CSP concepts you'll need to take advantage of those tools.Part I provides a detailed foundation for working with CSP, using as little mathematics as possible. It introduces the ideas behind operational, denotational and algebraic models of CSP. Parts II and III go into greater detail about theory and practice. Topics include: parallel operators, hiding and renaming, piping and enslavement, buffers and communication, termination and sequencing, and semantic theory. Three detailed practical case studies are also presented.For anyone interested in modeling sequential processes.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Product Description

Book by Roscoe A

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Prentice Hall
Data di pubblicazione
1997
Lingua
Inglese
ISBN 10 
0136744095
ISBN 13 
9780136744092
Rilegatura
Libro di testo
Numero di pagine
565
Contatto del produttore
non disponibile
Persona responsabile
Yeepin GmbH
492000000000
sunshine12232@outlook.com

Alleestr.11
Kaiserslautern
Rheinland-Pfalz
67655
Germania