Abstract
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.
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 language | English |
|---|---|
| Publication date | 2016 |
| Number of pages | 23 |
| Publication status | Published - 2016 |
Keywords
- Logical foundations of processes
- Focused normal forms
- Linear meta-language
- Substructural operational semantics
- Deadlock freeness and liveness