EXPRESSing session types

DOI10.4204/EPTCS.387.2MaRDI QIDQ6953867zbMATH OpenFDO

Authors Ilaria Castellani, Ornela Dardha, Luca Padovani, Davide Sangiorgi

Publication date 24 July 2025

Copyright license Creative Commons Attribution 4.0 International

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: EXPRESSing session types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6953867)