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.

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 - 12:30: BEAT 2019 - Session 2 at Sala VII
Chair(s): Dominic OrchardUniversity of Kent, UK
beat-2019-papers11:00 - 11:50
Ugo Dal LagoUniversity of Bologna, Italy / Inria, France
beat-2019-papers11: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 Luxembourg
File Attached
beat-2019-papers12:10 - 12:30
Mauricio CanoUniversity of Groningen, The Netherlands