The next Comète seminar will take place next Tuesday 11th of October at 14h00 in Salle Philippe Flajolet (LIX). Linda Brodo, researcher at University of Sassari, Italy, will talk about "Open Multiparty Interactions in the link-calculus".
Abstract: We present the link-calculus, a process calculus able to describe interactions that are multiparty, i.e. that may involve more than two processes and that are open, i.e. the number of involved processes is not fixed or known a priori. Communication actions are given not in terms of channels but in terms of chains of links, that record the source and the target ends of each hop of interactions. The semantics of our calculus mildly extends the one of CCS in the version without message passing, and the one of pi-calculus in the full version. Cardelli and Gordon's Mobile Ambients, whose movement interactions we show to be inherently open and multi-party, is encoded in our flat calculus in a natural way, thus providing an illustrative example of its expressiveness.