The theme of CPA 2007 is concurrency: the theory of concurrency, and concurrency as applied to software and hardware development, validation, verification, and implementation. This year, as part of the regular conference program, CPA is co–hosting a special interest session on hardware/software co–design. Contributions are invited in any of the areas of interest to the conference, and those in the area of hardware/software co–design are particularly welcome. <b>Keywords:</b> *Theoretical approaches to concurrency, and formal languages supporting these approaches, including the integration of existing formal notations;<br>*Modelling of, and model–driven development of concurrent software architectures;<br>*Verification and analysis of concurrent systems;<br>*Model–checking techniques and tools for development and analysis;<br>*Theoretical approaches to hardware–software co–design;<br>*Tools and languages for hardware–software co–design;<br>*Verification and analysis of hardware–software co–design systems;<br>*Programming languages and environments for concurrent systems;<br>*Environments for distributed applications, such as grid applications;<br>*Hardware and machine architectures such as multiprocessor cores and instructiion set design;<br>*Reconfigurable computing, and tools relating to reconfigurable computing;<br>*Programming and implementation issues for concurrent languages; such as deadlock–freedom by design, starvation, and efficient inter– process communication architectures;<br>*System issues for programming languages supporting concurrency, such as multithreading kernels and interrupt architectures;<br>*Applications that exploit, or rely on, concurrency.<br>
Abbrevation
CPA
City
Surrey, Guildford
Country
UK
Deadline Paper
Start Date
End Date
Abstract