The International Conference on Application of Concurrency to System Design (ACSD) serves as a forum for disseminating theoretical results 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. <b>Keywords:</b> Methods for design of synchronous or asynchronous systems based on models of concurrency (data–flow, communicating automata, Petri nets, process algebras, statecharts, MSCs etc.). * Correct–by–construction design methods and integration of verification techniques with the design process. * Synchronous / asynchronous design and communication interfaces: Globally Asynchronous Locally Synchronous systems. * Hardware / software co–design from common specifications. * Concurrency issues in Systems on Chips (in particular, use of formal methods for communication protocol design and verification)
Abbrevation
ACSD
City
Turku
Country
Finland
Deadline Paper
Start Date
End Date
Abstract