IFIP WG 1.8: Concurrency Theory
Welcome to the home page of WG 1.8 "Concurrency Theory" established in
2005 under Technical Committee TC-1
Foundations of Computer Science of IFIP. The main aim of this
working group, among others, is to
develop the theoretical foundations of concurrency, exploring
the frontiers of existing theoretical models like process
algebra and various process calculi, so as to obtain a deeper
theoretical understanding of concurrent and parallel systems.
The initial chairman of the working group is Luca Aceto, assisted by Wan Fokkink (vice-chair) and Anna Ingolfsdottir (secretary).