Reversible Sessions Using Monitors

Much research has studied foundations for correct and reliable communication-centric systems. A salient approach to correctness uses session types to enforce structured communications; a recent approach to reliability uses reversible actions as a way of reacting to unanticipated events or failures....

Full description

Saved in:
Bibliographic Details
Published in:arXiv.org 2016-06
Main Authors: Mezzina, Claudio A, Pérez, Jorge A
Format: Article
Language:English
Subjects:
Monitors
Semantics
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites
container_end_page
container_issue
container_start_page
container_title arXiv.org
container_volume
creator Mezzina, Claudio A
Pérez, Jorge A
description Much research has studied foundations for correct and reliable communication-centric systems. A salient approach to correctness uses session types to enforce structured communications; a recent approach to reliability uses reversible actions as a way of reacting to unanticipated events or failures. This note develops a simple observation: the machinery required to define asynchronous semantics and monitoring can also support reversible protocols. We propose a process framework of session communication in which monitors support reversibility. A key novelty in our approach are session types with present and past, which allow us to streamline the semantics of reversible actions.
doi_str_mv 10.48550/arxiv.1606.05941
format article
fullrecord <record><control><sourceid>proquest</sourceid><recordid>TN_cdi_proquest_journals_2079228664</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2079228664</sourcerecordid><originalsourceid>FETCH-LOGICAL-a524-8578a8243687977a5717455ef4bb46c25d68fd12b0c63360c97c81788fb7b92f3</originalsourceid><addsrcrecordid>eNotzc1KAzEUQOEgCJbaB3A36HrG5CY392YpxT-oCLZdl2SayJQy0aQtPr6CXZ3dd4S4UbIzjCjvffkZTp2y0nYSnVEXYgJaq5YNwJWY1bqTUoIlQNQTcfsRT7HUIexjs4y1DnmszboO42fzlsfhkEu9FpfJ72ucnTsVq6fH1fylXbw_v84fFq1HMC0jsWcw2jI5Io-kyCDGZEIwtgfcWk5bBUH2Vmsre0c9K2JOgYKDpKfi7p_9Kvn7GOths8vHMv4dNyDJAbC1Rv8Cekg-uA</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2079228664</pqid></control><display><type>article</type><title>Reversible Sessions Using Monitors</title><source>Publicly Available Content Database</source><creator>Mezzina, Claudio A ; Pérez, Jorge A</creator><creatorcontrib>Mezzina, Claudio A ; Pérez, Jorge A</creatorcontrib><description>Much research has studied foundations for correct and reliable communication-centric systems. A salient approach to correctness uses session types to enforce structured communications; a recent approach to reliability uses reversible actions as a way of reacting to unanticipated events or failures. This note develops a simple observation: the machinery required to define asynchronous semantics and monitoring can also support reversible protocols. We propose a process framework of session communication in which monitors support reversibility. A key novelty in our approach are session types with present and past, which allow us to streamline the semantics of reversible actions.</description><identifier>EISSN: 2331-8422</identifier><identifier>DOI: 10.48550/arxiv.1606.05941</identifier><language>eng</language><publisher>Ithaca: Cornell University Library, arXiv.org</publisher><subject>Monitors ; Semantics</subject><ispartof>arXiv.org, 2016-06</ispartof><rights>2016. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://www.proquest.com/docview/2079228664?pq-origsite=primo$$EHTML$$P50$$Gproquest$$Hfree_for_read</linktohtml><link.rule.ids>780,784,25752,27924,37011,44589</link.rule.ids></links><search><creatorcontrib>Mezzina, Claudio A</creatorcontrib><creatorcontrib>Pérez, Jorge A</creatorcontrib><title>Reversible Sessions Using Monitors</title><title>arXiv.org</title><description>Much research has studied foundations for correct and reliable communication-centric systems. A salient approach to correctness uses session types to enforce structured communications; a recent approach to reliability uses reversible actions as a way of reacting to unanticipated events or failures. This note develops a simple observation: the machinery required to define asynchronous semantics and monitoring can also support reversible protocols. We propose a process framework of session communication in which monitors support reversibility. A key novelty in our approach are session types with present and past, which allow us to streamline the semantics of reversible actions.</description><subject>Monitors</subject><subject>Semantics</subject><issn>2331-8422</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2016</creationdate><recordtype>article</recordtype><sourceid>PIMPY</sourceid><recordid>eNotzc1KAzEUQOEgCJbaB3A36HrG5CY392YpxT-oCLZdl2SayJQy0aQtPr6CXZ3dd4S4UbIzjCjvffkZTp2y0nYSnVEXYgJaq5YNwJWY1bqTUoIlQNQTcfsRT7HUIexjs4y1DnmszboO42fzlsfhkEu9FpfJ72ucnTsVq6fH1fylXbw_v84fFq1HMC0jsWcw2jI5Io-kyCDGZEIwtgfcWk5bBUH2Vmsre0c9K2JOgYKDpKfi7p_9Kvn7GOths8vHMv4dNyDJAbC1Rv8Cekg-uA</recordid><startdate>20160620</startdate><enddate>20160620</enddate><creator>Mezzina, Claudio A</creator><creator>Pérez, Jorge A</creator><general>Cornell University Library, arXiv.org</general><scope>8FE</scope><scope>8FG</scope><scope>ABJCF</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>HCIFZ</scope><scope>L6V</scope><scope>M7S</scope><scope>PIMPY</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>PTHSS</scope></search><sort><creationdate>20160620</creationdate><title>Reversible Sessions Using Monitors</title><author>Mezzina, Claudio A ; Pérez, Jorge A</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a524-8578a8243687977a5717455ef4bb46c25d68fd12b0c63360c97c81788fb7b92f3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2016</creationdate><topic>Monitors</topic><topic>Semantics</topic><toplevel>online_resources</toplevel><creatorcontrib>Mezzina, Claudio A</creatorcontrib><creatorcontrib>Pérez, Jorge A</creatorcontrib><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>Materials Science &amp; Engineering Collection</collection><collection>ProQuest Central (Alumni Edition)</collection><collection>ProQuest Central</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central Korea</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Engineering Collection</collection><collection>Engineering Database</collection><collection>Publicly Available Content Database</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>Engineering Collection</collection><jtitle>arXiv.org</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Mezzina, Claudio A</au><au>Pérez, Jorge A</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Reversible Sessions Using Monitors</atitle><jtitle>arXiv.org</jtitle><date>2016-06-20</date><risdate>2016</risdate><eissn>2331-8422</eissn><abstract>Much research has studied foundations for correct and reliable communication-centric systems. A salient approach to correctness uses session types to enforce structured communications; a recent approach to reliability uses reversible actions as a way of reacting to unanticipated events or failures. This note develops a simple observation: the machinery required to define asynchronous semantics and monitoring can also support reversible protocols. We propose a process framework of session communication in which monitors support reversibility. A key novelty in our approach are session types with present and past, which allow us to streamline the semantics of reversible actions.</abstract><cop>Ithaca</cop><pub>Cornell University Library, arXiv.org</pub><doi>10.48550/arxiv.1606.05941</doi><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier EISSN: 2331-8422
ispartof arXiv.org, 2016-06
issn 2331-8422
language eng
recordid cdi_proquest_journals_2079228664
source Publicly Available Content Database
subjects Monitors
Semantics
title Reversible Sessions Using Monitors
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-08T15%3A46%3A17IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Reversible%20Sessions%20Using%20Monitors&rft.jtitle=arXiv.org&rft.au=Mezzina,%20Claudio%20A&rft.date=2016-06-20&rft.eissn=2331-8422&rft_id=info:doi/10.48550/arxiv.1606.05941&rft_dat=%3Cproquest%3E2079228664%3C/proquest%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-a524-8578a8243687977a5717455ef4bb46c25d68fd12b0c63360c97c81788fb7b92f3%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_pqid=2079228664&rft_id=info:pmid/&rfr_iscdi=true