@inproceedings{9f9b85c3f7eb494cbac5274ef67b3aa4,
title = "Behavioural analysis of sessions using the calculus of structures",
abstract = "This paper describes an approach to the behavioural analysis of sessions. The approach is made possible by the calculus of structures — a deep inference proof calculus, generalising the sequent calculus, where inference rules are applied in any context. The approach involves specifications of global and local sessions inspired by the Scribble language. The calculus features a novel operator that synchronises parts of a protocol that must be treated atomically. Firstly, the calculus can be used to determine whether local sessions can be compose in a type safe fashion such that sessions are capable of successfully completing. Secondly, the calculus defines a subtyping relation for sessions that allows causal dependencies to be weakened while retaining termination potential. Consistency and complexity results follow from proof theory.",
keywords = "local type, linear logic, parallel composition, local protocol, causal dependency",
author = "Gabriel Ciobanu and Ross Horne",
note = "Copyright {\textcopyright} 2016 Springer-Verlag. This version of the article has been accepted for publication, after peer review (when applicable) and is subject to Springer Nature{\textquoteright}s AM terms of use, but is not the Version of Record and does not reflect post-acceptance improvements, or any corrections. The Version of Record is available online at: https://doi.org/10.1007/978-3-319-41579-6_8",
year = "2016",
month = jun,
day = "28",
doi = "10.1007/978-3-319-41579-6_8",
language = "English",
isbn = "9783319415789",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "91--106",
editor = "Manuel Mazzara and Andrei Voronkov",
booktitle = "Perspectives of System Informatics",
}