Section: Scientific Foundations

Expressiveness issues

Participants : Jesus Aranda, Andrés Aristizábal, Romain Beauxis, Filippo Bonchi, Christelle Braun, Catuscia Palamidessi, Carlos Olarte, Frank Valencia, Antonio Vitale.

We intend to study models and languages for concurrent, 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, taking also into account the issue of (efficient) implementability.