Dipartimento di Informatica

IPODS

IPODS aims to solve some challenging problems that arise from pragmatical experiences in modern distributed computing systems by providing a robust theory where such problems can be dealt with systematically. In this sense, all contributions to the different themes can be read as far-from-trivial extensions of well-known approaches (process calculi, constraint systems, type systems, behavioural equivalences and conformance relations, etc.), which are best suited to attack the challenges posed by the requirements of complex interactions within open-ended systems in terms of flexibility and guarantees.

The home page of the project is http://calvados.di.unipi.it/dokuwiki/doku.php?id=ipodsnamespace:about