Cargando…
Communicating process architectures 2006 : WoTUG-29 : proceedings of the 29th WoTUG Technical Meeting, 17-20 September 2006, Napier University, Edinburgh, Scotland /
Contains papers from the conference Communicating Process Architectures, 2006. This work talks about various aspects of communicating process theory and their application to designing and building systems. It includes a case study on large scale formal development and verification, CSP mechanisms fo...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam :
Washington, D.C. : IOS Press,
©2006.
|
| Colección: | Concurrent systems engineering series ;
v. 64. |
| Temas: | |
| Acceso en línea: | Texto completo |
| Sumario: | Contains papers from the conference Communicating Process Architectures, 2006. This work talks about various aspects of communicating process theory and their application to designing and building systems. It includes a case study on large scale formal development and verification, CSP mechanisms for Microsoft's .NET framework, and more. |
|---|---|
| Descripción Física: | 1 online resource (viii, 391 pages) : illustrations. |
| Bibliografía: | Includes bibliographical references and index. |
| ISBN: | 1429419075 9781429419079 9781607502050 1607502054 9781586036713 1586036718 |
| ISSN: | 1383-7575 ; |