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).


Last modified: .