Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) : Bratislava, Slovak Republic - 10-13 July 2007

ACSD 2007 presents theoretical results with application potential and advanced methods and tools for the design of complex concurrent systems. While there are already quite a few success stories in the field, there is still a strong need to bring theory and practice closer together. The proceedings papers cross-fertilize both theoretical and applied research, and includes both academic and industrial participants.Contents: Design methods; Analysis, verification, testing and synthesis; Hardware / software co-design, platform-based design, component-based design; Synchronous and asynchronous design, asynchronous circuits; Concurrency issues in Systems on Chips, massively parallel architectures, networks on chip Networked systems; Concurrency issues in ad-hoc, mobile and wireless networking, sensor networks, communication protocols, cross-layer optimization; Concurrency in Business Process Management; Computer-supported collaborative work systems, web services; Synthesis and control of concurrent systems; Modeling and design, synthesis and analysis, distributed simulation and implementation, controller synthesis, adaptive systemsBasten, Twan is the author of 'Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) : Bratislava, Slovak Republic - 10-13 July 2007', published 2007 under ISBN 9780769529028 and ISBN 076952902X.