Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cambridge :
Cambridge University Press,
©2010.
|
| Colección: | Cambridge tracts in theoretical computer science ;
50. |
| Temas: | |
| Acceso en línea: | Texto completo |