Depending on session-typed processes

DOI10.1007/978-3-319-89366-2_7zbMath1504.68149arXiv1801.08114OpenAlexW2962736185MaRDI QIDQ1652972

Bernardo Toninho, Nobuko Yoshida

Publication date: 17 July 2018

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Combinatory logic and lambda calculus (03B40)

Related Items (6)

Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types ⋮ Fairness and communication-based semantics for session-typed languages ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Session Types with Arithmetic Refinements

This page was built for publication: Depending on session-typed processes