scientific article

MaRDI QIDQ3384912

Hans Hüttel, Mathias S. Jakobsen, Mikkel K. Kettunen, Jens Aagaard

Publication date: 17 December 2021

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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)

Related Items (1)

Polymorphic lambda calculus with context-free session types

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Context-free session types
• Psi-calculi: a framework for mobile processes with nominal data and logic
• The Applied Pi Calculus
• Binary Session Types for Psi-Calculi
• Reactive Systems

This page was built for publication: