Representing Session Types

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

Research output: Other contributionResearch


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


  • Logical foundations of processes
  • Focused normal forms
  • Linear meta-language
  • Substructural operational semantics
  • Deadlock freeness and liveness


Dive into the research topics of 'Representing Session Types'. Together they form a unique fingerprint.

Cite this