Non-deterministic functions as non-deterministic processes

DOI10.4230/LIPICS.FSCD.2021.21MaRDI QIDQ6830457zbMATH OpenFDO

Authors Daniele Nantes-Sobrinho, Jorge A. Pérez

Publication date 23 June 2023

zbMATH Keywords

\(\pi\)-calculuslinear logicsession typesintersection typesresource calculi

Mathematics Subject Classification ID

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

This page was built for publication: Non-deterministic functions as non-deterministic processes

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