Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Mon 14 Jan 2019 10:05 - 10:30 at Sala VII - Session Types Chair(s): Ilaria Castellani

In process calculi that descend from the pi-calculus, the distinction between names and processes is essential. On the other hand, names are often used as references to processes. In this talk I investigate a process calculus, inspired by recursion theory and by work by Meredith. The process calculus has a notion of explicit quoting, where the distinction between names and processes disappears. This has interesting consequences for the semantic theory, for encodings and for session type disciplines.

Slides (OPCT 2019.pdf)5.4MiB

Mon 14 Jan

09:00 - 10:30: OPCT 2019 - Session Types at Sala VII
Chair(s): Ilaria CastellaniINRIA Sophia Antipolis, France
opct-2019-papers09:00 - 09:15
Day opening
opct-2019-papers09:15 - 09:40
Luís CairesNOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa
opct-2019-papers09:40 - 10:05
Adrian FrancalanzaUniversity of Malta
opct-2019-papers10:05 - 10:30
Hans HüttelDepartment of Computer Science, Aalborg University
File Attached