The research group of Dipartimento di Sistemi ed Informatica of Universita' di Firenze that is involved in the project is the Concurrency and mobility group coordinated by Prof. Rocco De Nicola. The Concurrency and Mobility group has long worked on the design and the analysis of concurrent, distributed systems. An important outcome of this work is the development of a language for programming mobile interactive systems providing linguistic support for describing mobile systems, while guaranteeing security, and a semantic framework that permits verification of program properties.
The formal semantics has been also the basis for an actual implementation of the language that has been then used for developing simple applications based on the mobile code paradigm. The project has benefited on one hand from the experience and the results gained in the field of process calculi, on the other from the experience gained developing applications for computer networks. For process calculi, the research work of the unit has recently focused on the development of methods and theories concerning asynchrony and cryptography aspects of mobile systems.