Behavioural Analysis of Sessions Using the Calculus of Structures

DOI10.1007/978-3-319-41579-6_8zbMath1461.68129OpenAlexW2503478351WikidataQ57936302 ScholiaQ57936302MaRDI QIDQ3179170

Ross Horne, Gabriel Ciobanu

Publication date: 21 December 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: http://orbilu.uni.lu/handle/10993/37435

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

Multiparty session types as coherence proofs ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Constructing weak simulations from linear implications for processes with private names ⋮ Prioritise the best variation

Uses Software

• Maude
• CDuce

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computational interpretations of linear logic
• The equational theory of pomsets
• Decision problems for propositional linear logic
• Subtyping for session types in the pi calculus
• Propositions as sessions
• Multiparty asynchronous session types
• Session Types as Intuitionistic Linear Propositions
• Global Principal Typing in Partially Commutative Asynchronous Sessions
• Linear type theory for asynchronous session types
• CDuce
• A system of interaction and structure
• A System of Interaction and Structure II: The Need for Deep Inference
• Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types

This page was built for publication: Behavioural Analysis of Sessions Using the Calculus of Structures