Fairness and Observed Communication Semantics for Session-Typed Languages

04/02/2021
by   Ryan Kavanagh, et al.
0

Observed communication semantics provide an intuitive notion of equivalence for communicating programs. We give the first observed communication semantics for a session-typed programming language with general recursion. This language, Polarized SILL, also supports channel and code transmission, synchronous and asynchronous communication, and functional programming. We present a framework inspired by testing preorders for defining simulations based on observed communications. We show that the "external" simulations coincide with barbed precongruence. Polarized SILL is defined using a multiset-rewriting-style substructural operational semantics. To ensure that our observed communication semantics is well-defined, we introduce fairness for multiset rewriting systems. We construct a fair scheduler and we give sufficient conditions for traces to be fair.

READ FULL TEXT

Authors

page 1

page 2

page 3

page 4

08/31/2020

Substructural Observed Communication Semantics

Session-types specify communication protocols for communicating processe...
02/05/2020

A Domain Semantics for Higher-Order Recursive Processes

The polarized SILL programming language uniformly integrates functional ...
08/27/2021

A denotational semantics for PROMELA addressing arbitrary jumps

PROMELA (Process Meta Language) is a high-level specification language d...
04/26/2021

A Session Subtyping Tool (Extended Version)

Session types are becoming popular and have been integrated in several m...
10/31/2011

On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language

Research on agent communication languages has typically taken the speech...
08/29/2020

SOS Rules for Equivalences of Reaction Systems

Reaction Systems (RSs) are a successful computational framework inspired...
12/14/2017

Choreographies meet Communication Failures

Choreographies are global descriptions of communication structures, insp...
This week in AI

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