Communicating process architectures 2007 : WoTUG-30 : proceedings of the 30th WoTUG Technical Meeting, 8-11 July 2007, University of Surrey, Guildford, United Kingdom /
Deals with Computer Science and models of Concurrency. This title emphasizes on hardware/software co-design and the understanding of concurrency that results from these systems. It includes a range of papers on this topic, from the formal modeling of buses in co-design systems through to software si...
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | |
Otros Autores: | |
Formato: | Electrónico Congresos, conferencias eBook |
Idioma: | Inglés |
Publicado: |
Amsterdam ; Washington, DC :
IOS Press,
2007.
|
Colección: | Concurrent systems engineering series ;
v. 65. |
Temas: | |
Acceso en línea: | Texto completo |
Sumario: | Deals with Computer Science and models of Concurrency. This title emphasizes on hardware/software co-design and the understanding of concurrency that results from these systems. It includes a range of papers on this topic, from the formal modeling of buses in co-design systems through to software simulation and development environments. |
---|---|
Descripción Física: | 1 online resource (xi, 513 pages) : illustrations |
Bibliografía: | Includes bibliographical references and index. |
ISBN: | 9781435608672 1435608674 9781607502616 1607502615 1586037676 9781586037673 |
ISSN: | 1383-7575 ; |