scientific article; zbMATH DE number 6987091

DOI10.23638/LMCS-14(4:14)2018zbMath1407.68338arXiv1809.02781MaRDI QIDQ4558783

Dimitris Mostrous, Vasco Thudichum Vasconcelos

Publication date: 30 November 2018

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

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

zbMATH Keywords

pi-calculusaffine logicsession typing

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Separating Sessions Smoothly ⋮ Unnamed Item

Uses Software

• Python

Cites Work

• Unnamed Item
• Unnamed Item
• Linear logic
• Computational interpretations of linear logic
• Fundamentals of session types
• Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
• A calculus of mobile processes. II
• Decidability of linear affine logic
• Algorithmic type checking for a pi-calculus with name matching and session types
• Subtyping for session types in the pi calculus
• A theory of contracts for web services
• Multiparty asynchronous session types
• Structured Interactional Exceptions in Session Types
• Session Types as Intuitionistic Linear Propositions
• On the expressive power of process interruption and compensation
• Functions as processes
• Propositions as sessions
• The Conversation Calculus: A Model of Service-Oriented Computation
• Intuitionistic Light Affine Logic
• Global progress for dynamically interleaved multiparty sessions
• Linear logic propositions as session types

This page was built for publication: