Two Declarative Approaches for Session-Based Concurrency
There are two approaches often used for the specification of communication-intensive systems: an operational approach, that describes how interactions are structured and a declarative one, in which only the governing conditions for correct interactions are defined. Although these two paradigms have evolved independently, we believe that they should not be disjoint. In fact, the correctness of communication-intensive systems depends on the complex interplay of declarative and operational features. Hence, it is desirable to devise a framework in which properties and reasoning techniques can be transferred between paradigms. Herein, we describe our efforts, part of my PhD studies, to develop such framework. We focus on session-based concurrency and its associated specification language: the pi-calculus. Via encodings, treated as formal compilers, we have shown how to abstract the main communication structures from session pi-calculi and integrate them into declarative languages.
PhD student in the University of Groningen under Prof. Gerard R. de Lavalette and Dr. Jorge A. Pérez. My main research topic is on models for session-based concurrency and I am currently working on Synchronous Reactive Programming and its relation with session types.
Sun 13 Jan
|11:00 - 11:50|
Ugo Dal LagoUniversity of Bologna, Italy / Inria, France
|11:50 - 12:10|
Ilaria CastellaniINRIA Sophia Antipolis, France, Mariangiola DezaniUniversità di Torino, Paola GianniniUniversita' del Piemonte Orientale, Ross HorneComputer Science and Communications Research Unit, University of LuxembourgFile Attached
|12:10 - 12:30|
Mauricio CanoUniversity of Groningen, The Netherlands