On Asynchronous Session Semantics
International audience This paper studies a behavioural theory of the π-calculus with session types under the fundamental principles of the practice of distributed computing — asynchronous communication which is order-preserving inside each connection (session), augmented with asynchronous inspectio...
Main Authors: | , , |
---|---|
Other Authors: | , , , , , |
Format: | Conference Object |
Language: | English |
Published: |
HAL CCSD
2011
|
Subjects: | |
Online Access: | https://hal.inria.fr/hal-01583321 https://hal.inria.fr/hal-01583321/document https://hal.inria.fr/hal-01583321/file/978-3-642-21461-5_15_Chapter.pdf https://doi.org/10.1007/978-3-642-21461-5_15 |
id |
ftifiphal:oai:HAL:hal-01583321v1 |
---|---|
record_format |
openpolar |
spelling |
ftifiphal:oai:HAL:hal-01583321v1 2023-05-15T16:48:59+02:00 On Asynchronous Session Semantics Kouzapas, Dimitrios Yoshida, Nobuko Honda, Kohei Imperial College London Queen Mary University of London (QMUL) Roberto Bruni Juergen Dingel TC 6 WG 6.1 Reykjavik,, Iceland 2011-06-06 https://hal.inria.fr/hal-01583321 https://hal.inria.fr/hal-01583321/document https://hal.inria.fr/hal-01583321/file/978-3-642-21461-5_15_Chapter.pdf https://doi.org/10.1007/978-3-642-21461-5_15 en eng HAL CCSD Springer info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-21461-5_15 hal-01583321 https://hal.inria.fr/hal-01583321 https://hal.inria.fr/hal-01583321/document https://hal.inria.fr/hal-01583321/file/978-3-642-21461-5_15_Chapter.pdf doi:10.1007/978-3-642-21461-5_15 http://creativecommons.org/licenses/by/ info:eu-repo/semantics/OpenAccess Lecture Notes in Computer Science 13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE) https://hal.inria.fr/hal-01583321 13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.228-243, ⟨10.1007/978-3-642-21461-5_15⟩ [INFO]Computer Science [cs] [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] info:eu-repo/semantics/conferenceObject Conference papers 2011 ftifiphal https://doi.org/10.1007/978-3-642-21461-5_15 2023-03-21T20:40:06Z International audience This paper studies a behavioural theory of the π-calculus with session types under the fundamental principles of the practice of distributed computing — asynchronous communication which is order-preserving inside each connection (session), augmented with asynchronous inspection of events (message arrivals). A new theory of bisimulations is introduced, distinct from either standard asynchronous or synchronous bisimilarity, accurately capturing the semantic nature of session-based asynchronously communicating processes augmented with event primitives. The bisimilarity coincides with the reduction-closed barbed congruence. We examine its properties and compare them with existing semantics. Using the behavioural theory, we verify that the program transformation of multithreaded into event-driven session based processes, using Lauer-Needham duality, is type and semantic preserving. Conference Object Iceland IFIP Open Digital Library (International Federation for Information Processing) 228 243 |
institution |
Open Polar |
collection |
IFIP Open Digital Library (International Federation for Information Processing) |
op_collection_id |
ftifiphal |
language |
English |
topic |
[INFO]Computer Science [cs] [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] |
spellingShingle |
[INFO]Computer Science [cs] [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] Kouzapas, Dimitrios Yoshida, Nobuko Honda, Kohei On Asynchronous Session Semantics |
topic_facet |
[INFO]Computer Science [cs] [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] |
description |
International audience This paper studies a behavioural theory of the π-calculus with session types under the fundamental principles of the practice of distributed computing — asynchronous communication which is order-preserving inside each connection (session), augmented with asynchronous inspection of events (message arrivals). A new theory of bisimulations is introduced, distinct from either standard asynchronous or synchronous bisimilarity, accurately capturing the semantic nature of session-based asynchronously communicating processes augmented with event primitives. The bisimilarity coincides with the reduction-closed barbed congruence. We examine its properties and compare them with existing semantics. Using the behavioural theory, we verify that the program transformation of multithreaded into event-driven session based processes, using Lauer-Needham duality, is type and semantic preserving. |
author2 |
Imperial College London Queen Mary University of London (QMUL) Roberto Bruni Juergen Dingel TC 6 WG 6.1 |
format |
Conference Object |
author |
Kouzapas, Dimitrios Yoshida, Nobuko Honda, Kohei |
author_facet |
Kouzapas, Dimitrios Yoshida, Nobuko Honda, Kohei |
author_sort |
Kouzapas, Dimitrios |
title |
On Asynchronous Session Semantics |
title_short |
On Asynchronous Session Semantics |
title_full |
On Asynchronous Session Semantics |
title_fullStr |
On Asynchronous Session Semantics |
title_full_unstemmed |
On Asynchronous Session Semantics |
title_sort |
on asynchronous session semantics |
publisher |
HAL CCSD |
publishDate |
2011 |
url |
https://hal.inria.fr/hal-01583321 https://hal.inria.fr/hal-01583321/document https://hal.inria.fr/hal-01583321/file/978-3-642-21461-5_15_Chapter.pdf https://doi.org/10.1007/978-3-642-21461-5_15 |
op_coverage |
Reykjavik,, Iceland |
genre |
Iceland |
genre_facet |
Iceland |
op_source |
Lecture Notes in Computer Science 13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE) https://hal.inria.fr/hal-01583321 13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.228-243, ⟨10.1007/978-3-642-21461-5_15⟩ |
op_relation |
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-21461-5_15 hal-01583321 https://hal.inria.fr/hal-01583321 https://hal.inria.fr/hal-01583321/document https://hal.inria.fr/hal-01583321/file/978-3-642-21461-5_15_Chapter.pdf doi:10.1007/978-3-642-21461-5_15 |
op_rights |
http://creativecommons.org/licenses/by/ info:eu-repo/semantics/OpenAccess |
op_doi |
https://doi.org/10.1007/978-3-642-21461-5_15 |
container_start_page |
228 |
op_container_end_page |
243 |
_version_ |
1766039062818324480 |