Communicating Process Architectures 2007: Wotug-30: Proceedings of the 30th Wotug Technical Meeting, 8-11 July 2007, University of Surrey, Guildford, United Kingdom
Communicating Process Architectures 2007: Wotug-30: Proceedings of the 30th Wotug Technical Meeting, 8-11 July 2007, University of Surrey, Guildford, United Kingdom
Summary
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.