Representing Session Types

Peter Brottveit Bock, Agata Murawska, Alessandro Bruni, Carsten Schürmann

Publikation: AndetAndet bidragForskning


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.
Antal sider23
StatusUdgivet - 2016


Dyk ned i forskningsemnerne om 'Representing Session Types'. Sammen danner de et unikt fingeraftryk.