Behavioural analysis of sessions using the calculus of structures

DOI10.1007/978-3-319-41579-6_8MaRDI QIDQ3179170zbMATH OpenOpenAlexWikidataFDO

Authors Gabriel Ciobanu, Ross Horne

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)

Recommendations

• A calculus of global interaction based on session types
• On sessions and infinite data
• Subtyping for session types in the pi calculus
• Sub-behaviour relations for session-based client/server systems
• Type-Based Analysis for Session Inference (Extended Abstract)

Cites work

• A system of interaction and structure
• A System of Interaction and Structure II: The Need for Deep Inference
• CDuce: an XML-centric general-purpose language
• Computational interpretations of linear logic
• Decision problems for propositional linear logic
• Global Principal Typing in Partially Commutative Asynchronous Sessions
• scientific article; zbMATH DE number 954809 (Why is no real title available?)
• scientific article; zbMATH DE number 1398002 (Why is no real title available?)
• Linear type theory for asynchronous session types
• Multiparty asynchronous session types
• Multiparty compatibility in communicating automata: characterisation and synthesis of global session types
• Propositions as sessions
• Session types as intuitionistic linear propositions
• Subtyping for session types in the pi calculus
• The equational theory of pomsets
• The focused calculus of structures

Cited in

(5)

• Multiparty session types as coherence proofs
• The sub-additives: a proof theory for probabilistic choice extending linear logic
• scientific article; zbMATH DE number 7559468 (Why is no real title available?)
• Constructing weak simulations from linear implications for processes with private names
• A semantic proof of generalised cut elimination for deep inference

Describes a project that uses

Uses Software

• Maude
• CDuce

This page was built for publication: Behavioural analysis of sessions using the calculus of structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3179170)