Distributed Computing/Coordination.

In the preceeding project (GR/M58740) our focus was on the development of a general framework for Probabilistic Abstract Interpretation. In this proposal we aim to investigate in greater detail languages and models suitable for distributed computing and so-called coordination models [31]. In particular we are interested in developing a probabilistic (or quantitative) version of KLAIM (Kernel Language of Agents Interaction and Mobility [39]) as it is closely related to the programming paradigms we previously studied (i.e. Concurrent Constraint Programming) and standard models in coordination (i.e. Linda [41]).