The 29 papers delivered at the July 2007 meeting present new developments in computer science, models of concurrency, and hardware/software co-design. The researchers propose a Java implementation of Rendezvous, mobile channel and process models, a process-oriented architecture for complex system modeling, and domain specific transformations for hardware ray tracing. Other topics include testing and sampling parallel systems, integrating and extending JCSP, translating B control annotations to Handel-C, and multi-core devices using hierarchical abstraction. No subject index is provided. Annotation ©2008 Book News, Inc., Portland, OR (booknews.com)
"This publication deals with Computer Science and models of Concurrency. It particularly emphasises on hardware/software co-design, and the understanding of concurrency that results from these systems. A range of papers on this topic have been included, from the formal modeling of buses in co-design systems through to software simulation and development environments. The book includes a contribution by Professor Sir Tony Hoare (FRS), the founding father of the theoretical basis upon which much of the work in this series is based. He shares new thoughts on fine-grained concurrency. Another important contribution is by Professor David May (FRS) on his new architecture for massively multicore processors, its underlying programming model and applications. The editors trust you will find this publication informative and inspirational."
