Types for Resources in $$\psi $$-calculi

DOI10.1007/978-3-319-05119-2_6zbMath1348.68163OpenAlexW2059524947MaRDI QIDQ2830028

Hans Hüttel

Publication date: 9 November 2016

Published in: Trustworthy Global Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-05119-2_6

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Declarative event based models of concurrency and refinement in psi-calculi ⋮ Binary Session Types for Psi-Calculi ⋮ Name-passing calculi: from fusions to preorders and types ⋮ Unnamed Item

This page was built for publication: Types for Resources in $$\psi $$-calculi