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.
Sun 13 JanDisplayed time zone: Belfast change
11:00 - 12:30 | |||
11:00 50mTalk | Invited Talk: On Type-Based Complexity Analysis of Programs and Processes BEAT Ugo Dal Lago University of Bologna, Italy / Inria, France | ||
11:50 20mTalk | Global Types with Internal Delegation BEAT Ilaria Castellani INRIA Sophia Antipolis, France, Mariangiola Dezani Università di Torino, Paola Giannini Universita' del Piemonte Orientale, Ross Horne Computer Science and Communications Research Unit, University of Luxembourg File Attached | ||
12:10 20mTalk | Two Declarative Approaches for Session-Based Concurrency BEAT |