Process Algebra - Couverture rigide

Baeten, J. C. M.; Weijland, W. P.

 
9780521400435: Process Algebra

Synopsis

This is a self-contained introduction to process algebra, a model of concurrency. It will be will be essential reading for all computer scientists interested in parallel processing and algebraic methods in computer science.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

This is an introduction to process algebra, also known as the Algebra of Communicating Processes (ACP). It is a self-contained mathematical approach to the theory which can be used for graduate courses, though it also has material of interest to researchers. It is a unique introduction to this model of concurrent programming and will be essential reading for all computer scientists interested in parallel processing and algebraic methods in computer science.

Revue de presse

'... excels as a clear enunciation of a theory developed for analysing communication parallel processes.' International Mathematical News

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.