Section: Research Program
Expressiveness of Concurrent Formalisms
Participants : Catuscia Palamidessi, Frank Valencia.
We study computational models and languages for distributed, probabilistic and mobile systems, with a particular attention to expressiveness issues. We aim at developing criteria to assess the expressive power of a model or formalism in a distributed setting, to compare existing models and formalisms, and to define new ones according to an intended level of expressiveness, also taking into account the issue of (efficient) implementability.