scientific article; zbMATH DE number 7438557

zbMath1476.68169arXiv1508.06707MaRDI QIDQ5013868

Jorge A. Pérez, Ornela Dardha

Publication date: 3 December 2021

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

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)

Related Items (3)

Comparing type systems for deadlock freedom ⋮ Unnamed Item ⋮ Prioritise the best variation

Cites Work

• Unnamed Item
• Unnamed Item
• Fundamentals of session types
• Weak and strong fairness in CCS
• Towards a unified approach to encodability and separation results for process calculi
• Session types revisited
• A type system for lock-free processes
• Corecursion and Non-divergence in Session-Typed Processes
• Session Types as Intuitionistic Linear Propositions
• Propositions as sessions
• Linear logic propositions as session types
• A New Type System for Deadlock-Free Processes
• Formal Methods at the Crossroads. From Panacea to Foundational Support

This page was built for publication: