Meta-Theory of Algebraic Process Theories
Rannis Project nr. 100014021 (2010-2012)


The following people have contributed to the work carried out within the project so far.

At Reykjavik University

  • Luca Aceto (Reykjavik University), principal investigator;
  • Anna Ingolfsdottir (Reykjavik University), principal investigator;
  • Georgiana Caltais (Reykjavik University), PhD student (from August 2010);
  • Matteo Cimini (Reykjavik University), PhD student (from January 2009);
  • Eugen-Ioan Goriac (Reykjavik University), PhD student (from August 2010).

External Collaborators