Representing Session Types

Research output: Other contributionResearch

View graph of relations

In this paper we propose a logical foundation of processes and their focused normal forms. We use a linear meta-language based on substructural operational semantics to describe focused forms of processes, and compare them to standard π-calculus processes with their respective operational semantics.
The overall goal of this research is to understand how to reason about processes, multiparty communication and global types, and how to mechanize properties such as deadlock freeness and liveness. We are also interested in establishing the limitations of this approach.
Original languageEnglish
Publication date2016
Number of pages23
Publication statusPublished - 2016


No data available

ID: 82468057