scientific article; zbMATH DE number 7800870

arXiv2209.06820MaRDI QIDQ6190869

Jorge A. Pérez, Bas van den Heuvel

Publication date: 6 February 2024

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

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

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• On the unity of logic
• A new linear logic for deadlock-free session-typed processes
• Towards a unified approach to encodability and separation results for process calculi
• Prioritise the best variation
• Comparing type systems for deadlock freedom
• Lenient evaluation and parallelism
• A Semantics for Propositions as Sessions
• Types for Deadlock-Free Higher-Order Programs
• Session Types as Intuitionistic Linear Propositions
• MULTILISP: a language for concurrent symbolic computation
• Deadlock and lock freedom in the linear π-calculus
• Propositions as sessions
• Linear type theory for asynchronous session types
• Linear logic propositions as session types
• A New Type System for Deadlock-Free Processes

This page was built for publication: