Process algebra : equational theories of communicating processes /

"Process algebra is a widely accepted and much used technique in the specification and verification of parallel and distributed software systems. This book sets the standard for the field. It assembles the relevant results of most process algebras currently in use, and presents them in a unifie...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Baeten, J. C. M.
Other Authors: Basten, Thomas Geertruida Henricus, 1973-, Reniers, M. A. (Michel Adriaan), 1970-
Format: Electronic eBook
Language:Inglés
Published: Cambridge : Cambridge University Press, ©2010.
Series:Cambridge tracts in theoretical computer science ; 50.
Subjects:
Parallel processing (Electronic computers)
Electronic data processing > Distributed processing.
Parallélisme (Informatique)
Traitement réparti.
COMPUTERS > Reference.
COMPUTERS > Machine Theory.
COMPUTERS > Computer Literacy.
COMPUTERS > Information Technology.
COMPUTERS > Data Processing.
COMPUTERS > Computer Science.
COMPUTERS > Hardware > General.
Electronic data processing > Distributed processing
Online Access:Texto completo

Internet

Texto completo

Items no disponibles

Holdings details from

Similar Items