Characteristic formulae for session types

DOI10.1007/978-3-662-49674-9_52zbMath1420.68070arXiv1510.06879OpenAlexW2418777044MaRDI QIDQ2272938

Julien Lange, Nobuko Yoshida

Publication date: 17 September 2019

Full work available at URL: https://arxiv.org/abs/1510.06879

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (6)

Unnamed Item ⋮ Stateful Behavioral Types for Active Objects ⋮ The different shades of infinite session types ⋮ A Sound Algorithm for Asynchronous Session Subtyping ⋮ Fair refinement for asynchronous session types ⋮ Polymorphic lambda calculus with context-free session types

This page was built for publication: Characteristic formulae for session types