Towards Probabilistic Session-Type Monitoring

07/19/2021
by   Christian Bartolo Burlò, et al.
0

We present a tool-based approach for the runtime analysis of communicating processes grounded on probabilistic binary session types. We synthesise a monitor out of a probabilistic session type where each choice point is decorated by a probability distribution. The monitor observes the execution of a process, infers its probabilistic behaviour and issues warnings when the observed behaviour deviates from the one specified by the probabilistic session type.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

07/23/2020

Probabilistic Analysis of Binary Sessions

We study a probabilistic variant of binary session types that relate to ...
02/19/2020

Imprecise Probability for Multiparty Session Types in Process Algebra

In this paper we introduce imprecise probability for session types. More...
06/10/2019

Minimal Session Types (Extended Version)

Session types are a type-based approach to the verification of message-p...
05/15/2018

The remote_build Tool

This is an introduction to the remote_build tool for transparent remote ...
05/26/2020

How to Grow a (Product) Tree: Personalized Category Suggestions for eCommerce Type-Ahead

In an attempt to balance precision and recall in the search page, leadin...
03/13/2013

aHUGIN: A System Creating Adaptive Causal Probabilistic Networks

The paper describes aHUGIN, a tool for creating adaptive systems. aHUGIN...
09/04/2019

Probabilities in Session Types

This paper deals with the probabilistic behaviours of distributed system...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.