Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Sun 13 Jan 2019 12:10 - 12:30 at Sala VII - Session 2 Chair(s): Dominic Orchard

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 Jan

Displayed time zone: Belfast change

11:00 - 12:30
Session 2BEAT at Sala VII
Chair(s): Dominic Orchard University of Kent, UK
11:00
50m
Talk
Invited Talk: On Type-Based Complexity Analysis of Programs and Processes
BEAT
Ugo Dal Lago University of Bologna, Italy / Inria, France
11:50
20m
Talk
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
20m
Talk
Two Declarative Approaches for Session-Based Concurrency
BEAT