Luca Aceto's Grants
Recent Grants
The Equational Logic of Parallel Processes
,
Rannis (The Icelandic Fund for Research)
Project nr. 060013021 (2006-2008); joint with
Anna Ingolfsdottir
.
New Developments in Operational Semantics
,
Rannis (The Icelandic Fund for Research)
Project nr. 080039021 (2008-2010); joint with
Anna Ingolfsdottir
and
MohammadReza Mousavi
.
Processes and Modal Logics
,
Rannis (The Icelandic Fund for Research)
Project nr. 100048021) (2010-2012); joint with
Anna Ingolfsdottir
.
Meta-Theory of Algebraic Process Theories
,
Rannis (The Icelandic Fund for Research)
Project nr. 100014021) (2010-2012); joint with
Anna Ingolfsdottir
and
MohammadReza Mousavi
.
Luca Aceto
, School of Computer Science, Reykjavik University.
Last modified: 22 October 2010 .