Session types and subtyping for orchestrated interactions
From MaRDI portal
Publication:1633346
DOI10.1016/j.jlamp.2018.10.001zbMath1433.68232MaRDI QIDQ1633346
Franco Barbanera, Ugo de'Liguoro
Publication date: 19 December 2018
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2018.10.001
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68M14: Distributed systems