Cargando…

Communicating Process Architectures 2007 : WoTUG-30.

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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: McEwan, A. A.
Otros Autores: Schneider, S., Ifill, W.
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam : IOS Press, 2007.
Colección:Concurrent Systems Engineering Series, v. 65.
Temas:
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Title page; Preface; Programme Committee; Additional Reviewers; Contents; Fine-Grain Concurrency; Communicating Process Architecture for Multicores; Lazy Exploration and Checking of CSP Models with CSPsim; The Core Language of Aldwych; JCSProB: Implementing Integrated Formal Specifications in Concurrent Java; Components with Symbolic Transition Systems: A Java Implementation of Rendezvous; Concurrent/Reactive System Design with Honeysuckle; CSP and Real-Time: Reality or Illusion?; Testing and Sampling Parallel Systems; Mobility in JCSP: New Mobile Channel and Mobile Process Models.