Globally Governed Session Semantics

Kouzapas, D. and Yoshida, N. (2013) Globally Governed Session Semantics. In: CONCUR 2013:Concurrency Theory, 24th International Conference, Buenos Aires, Argentina, 27-30 Aug 2013, pp. 395-409. ISBN 9783642401831 (doi:10.1007/978-3-642-40184-8_28)

[img] Text
101388.pdf - Accepted Version



This paper proposes a new bisimulation theory based on multiparty session types where a choreography specification governs the behaviour of session typed processes and their observer. The bisimulation is defined with the observer cooperating with the observed process in order to form complete globalsession scenarios and usable for proving correctness of optimisations for globally coordinating threads and processes. The induced bisimulation is strictly more fine-grained than the standard session bisimulation. The difference between the governed and standard bisimulations only appears when more than two interleaved multiparty sessions exist. The compositionality of the governed bisimilarity is proved through the soundness and completeness with respect to the governed reduction-based congruence.

Item Type:Conference Proceedings
Additional Information:Lecture notes in computer science, vol 8052.
Glasgow Author(s) Enlighten ID:Kouzapas, Mr Dimitrios
Authors: Kouzapas, D., and Yoshida, N.
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
College/School:College of Science and Engineering > School of Computing Science
Copyright Holders:Copyright © 2013 Springer Verlag
First Published:First published in Proceedings 24th International Conference, CONCUR 2013: 395-409
Publisher Policy:Reproduced in accordance with the copyright policy of the publisher.

University Staff: Request a correction | Enlighten Editors: Update this record

Project CodeAward NoProject NamePrincipal InvestigatorFunder's NameFunder RefLead Dept
612411From Data Types to Session Types - A Basis for Concurrency and Distribution.Simon GayEngineering & Physical Sciences Research Council (EPSRC)EP/K034413/1COM - COMPUTING SCIENCE