DeepAI AI Chat
Log In Sign Up

On the Fair Termination of Client-Server Sessions

12/11/2022
by   Luca Padovani, et al.
0

Client-server sessions are based on a variation of the traditional interpretation of linear logic propositions as session types in which non-linear channels (those regulating the interaction between a pool of clients and a single server) are typed by coexponentials instead of the usual exponentials. Coexponentials enable the modeling of racing interactions, whereby clients compete to interact with a single server whose internal state (and thus the offered service) may change as the server processes requests sequentially. In this work we present a fair termination result for CSLL^∞, a core calculus of client-server sessions. We design a type system such that every well-typed term corresponds to a valid derivation in μMALL^∞, the infinitary proof theory of linear logic with least and greatest fixed points. We then establish a correspondence between reductions in the calculus and principal reductions in μMALL^∞. Fair termination in CSLL^∞ follows from cut elimination in μMALL^∞.

READ FULL TEXT

page 1

page 2

page 3

page 4

07/08/2022

An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus

Fair termination is the property of programs that may diverge "in princi...
10/26/2020

Client-Server Sessions in Linear Logic

We introduce coexponentials, a new set of modalities for Classical Linea...
03/21/2020

An Online Framework to Interact and Efficiently Compute Linear Layouts of Graphs

We present a prototype online system to automate the procedure of comput...
10/28/2021

A Theory of RPC Calculi for Client-Server Model

With multi-tier programming languages, programmers can specify the locat...
05/18/2022

Fair Termination of Multiparty Sessions

There exists a broad family of multiparty sessions in which the progress...
10/08/2021

A subexponential view of domains in session types

Linear logic (LL) has inspired the design of many computational systems,...
12/03/2018

A Novel Adaptive Caching Mechanism for Video on Demand System over Wireless Mobile Network

Video on Demand system over the wireless mobile network is a system that...