Extension to Probabilistic Resource-Aware Session Types

Supervisors

Suitable for

Abstract

"Probabilistic session [1] types explores how uncertainty and likelihood influence communication protocols in distributed systems. We propose an extension on the session type system in which an abstract notion of success and failure can be attached either to the syntax of session types or to the both the type and process level such as explicit failure terms. The goal of which is to extend the scope of [1] showing that probabilistic analysis of binary session types [2] can be applied. Similarly insight are applied in the behavioural equivalence of probabilistically nondeterministic behaviour as well of implementations of extensions within NomosPro/PRast."

[1] Probabilistic Resource-Aware Session Types (acm.org) 

[2] Probabilistic Analysis of Binary Sessions (dagstuhl.de) 

Pre-requisites- The student wishes to learn a type theory of concurrency and communication, LCT will be helpful