Filters








94 Hits in 1.8 sec

Dynamic multirole session types

Pierre-Malo Deniélou, Nobuko Yoshida
<span title="2011-01-26">2011</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
Our type system with universal types for polling can handle this dynamism and retain type safety.  ...  Multiparty session types enforce structured safe communications between several participants, as long as their number is fixed when the session starts.  ...  p 2 , Msg(w) ; Q(p 1 ) | Q(p 2 )) RECV → (ν a, s)(R | s : ε | Q(p 1 ) | Q(p 2 )) Multirole session types In this section, we present the multirole session types which specify the communication patterns  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1925844.1926435">doi:10.1145/1925844.1926435</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rcyvnvy2s5fbbfggscyugichci">fatcat:rcyvnvy2s5fbbfggscyugichci</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809115647/http://www.cs.rhul.ac.uk/~malo/papers/dynamic-multirole-session-types.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d2/64/d2648c0d34236544e536794b3f57ce0d59d6f59a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1925844.1926435"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Dynamic multirole session types

Pierre-Malo Deniélou, Nobuko Yoshida
<span title="">2011</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2qaxtqe2rfgjnfefqcokcnzelq" style="color: black;">Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL &#39;11</a> </i> &nbsp;
Our type system with universal types for polling can handle this dynamism and retain type safety.  ...  Multiparty session types enforce structured safe communications between several participants, as long as their number is fixed when the session starts.  ...  p 2 , Msg(w) ; Q(p 1 ) | Q(p 2 )) RECV → (ν a, s)(R | s : ε | Q(p 1 ) | Q(p 2 )) Multirole session types In this section, we present the multirole session types which specify the communication patterns  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1926385.1926435">doi:10.1145/1926385.1926435</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/popl/DenielouY11.html">dblp:conf/popl/DenielouY11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cq3dk2cqmjeazkh45maaoidymm">fatcat:cq3dk2cqmjeazkh45maaoidymm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809115647/http://www.cs.rhul.ac.uk/~malo/papers/dynamic-multirole-session-types.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d2/64/d2648c0d34236544e536794b3f57ce0d59d6f59a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1926385.1926435"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Multiparty Dependent Session Types (Extended Abstract) [article]

Hanwen Wu, Hongwei Xi
<span title="2018-07-31">2018</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
This work formalizes the first multiparty dependent session types as an expressive and practical type discipline for enforcing communication protocols.  ...  The type system is formulated in the setting of multi-threaded λ-calculus with inspirations from multirole logic, a generalization of classical logic we discovered earlier.  ...  APIs provided by our type system used to realize the dynamic semantics of session types by interpreting them locally at each party.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1808.00077v1">arXiv:1808.00077v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xzms3ivryvaqvinjt7uozhwzu4">fatcat:xzms3ivryvaqvinjt7uozhwzu4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191013085323/https://arxiv.org/pdf/1808.00077v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/11/d7/11d7d7c2767a6ff60f10205dc19f5e08499684b8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1808.00077v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Propositions in Linear Multirole Logic as Multiparty Session Types [article]

Hongwei Xi, Hanwen Wu
<span title="2016-11-27">2016</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We identify multirole logic as a new form of logic and formalize linear multirole logic (LMRL) as a natural generalization of classical linear logic (CLL).  ...  We also present a variant of π-calculus for multiparty sessions that demonstrates a tight correspondence between process communication in this variant and multi-cut elimination in LMRL, thus extending  ...  While multirole logic stems from studies on multiparty session types, it is certainly not restricted to such studies.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1611.08888v1">arXiv:1611.08888v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/c2lrjcfozjc7pa3g5q27nhrg4y">fatcat:c2lrjcfozjc7pa3g5q27nhrg4y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200823094506/https://arxiv.org/pdf/1611.08888v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/06/a8/06a84029715aa26825a66bb0cb56249f92f067c4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1611.08888v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Multiparty asynchronous session types

Kohei Honda, Nobuko Yoshida, Marco Carbone
<span title="">2008</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2qaxtqe2rfgjnfefqcokcnzelq" style="color: black;">Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL &#39;08</a> </i> &nbsp;
Sci.] ➣ Dynamic Multirole Session Types [POPL'11] ➣ Nested Multiparty Sessions [CONCUR'12] ➣ Timed Multiparty Session Types [CONCUR'14] ➤ Dynamic Monitoring ➣ Monitoring Networks through Multiparty Sessions  ...  Asynchronous Session Types [POPL'08] ➤ Progress ➣ Global Progress in Dynamically Interleaved Multiparty Sessions [CONCUR'08], [Math.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1328438.1328472">doi:10.1145/1328438.1328472</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/popl/HondaYC08.html">dblp:conf/popl/HondaYC08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wqdgxncw6zgt5ee3u7m7l3wzzq">fatcat:wqdgxncw6zgt5ee3u7m7l3wzzq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809145852/http://www.sti.uniurb.it/events/sfm15mp/slides/yoshida.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2e/d5/2ed5b04a70160b9d86b3ca7fd73d32b53797ea91.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1328438.1328472"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Linearly Typed Dyadic Group Sessions for Building Multiparty Sessions [article]

Hongwei Xi, Hanwen Wu
<span title="2016-04-11">2016</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
implementation of linearly typed g-sessions in ATS.  ...  Traditionally, each party in a (dyadic or multiparty) session implements exactly one role specified in the type of the session. We refer to this kind of session as an individual session (i-session).  ...  Often the dynamics formulated in a formalization of session types is based on π-calculus [16] or its variants/likes.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1604.03020v1">arXiv:1604.03020v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kuki2zkvkvflvj4mgjngyaaspu">fatcat:kuki2zkvkvflvj4mgjngyaaspu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191026125204/https://arxiv.org/pdf/1604.03020v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fa/6b/fa6b556c95f5a4831db9f4c180f7b55be039958c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1604.03020v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Dependent Session Types [article]

Hanwen Wu, Hongwei Xi
<span title="2017-04-24">2017</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Session types offer a type-based discipline for enforcing communication protocols in distributed programming.  ...  We have previously formalized simple session types in the setting of multi-threaded λ-calculus with linear types.  ...  S are dynamic signatures that assign types to dynamic constants, and these types are called c-types.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1704.07004v1">arXiv:1704.07004v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dmhcgucqbzg7blrzjfulft2xcm">fatcat:dmhcgucqbzg7blrzjfulft2xcm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200829192924/https://arxiv.org/pdf/1704.07004v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/40/93/4093e3faa5312f3200424094e1b83dadda407824.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1704.07004v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Design and Implementation of a Vehicle Social Enabler Based on Social Internet of Things

Taehwan Shin, Jinsung Byun
<span title="">2016</span> <i title="Hindawi Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/khqygtfojnby3jyh5obuwd7ko4" style="color: black;">Mobile Information Systems</a> </i> &nbsp;
This paper calls it multiobject multirole (MOMR). Therefore, this paper considers this new paradigm of IoT. (iii) Dynamic Configuration of a User-Centric Service Domain.  ...  In recent years, the object has evolved into a multirole-object. That is, the object has various roles. This paper calls it one-object multirole (O2MR).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2016/4102163">doi:10.1155/2016/4102163</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/h7xmvaf7nvcijmfa6d3eb3s63u">fatcat:h7xmvaf7nvcijmfa6d3eb3s63u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190222143725/http://pdfs.semanticscholar.org/3fe4/079c856a515f5c834317ac5846ba0fc0fc8a.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/3f/e4/3fe4079c856a515f5c834317ac5846ba0fc0fc8a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2016/4102163"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> hindawi.com </button> </a>

Scribbling Interactions with a Formal Foundation [chapter]

Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen, Nobuko Yoshida
<span title="">2011</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
, called session types.  ...  The execution of a largescale distributed system consists of many structured conversations (or sessions) whose protocols can be clearly and accurately specified using a theory of types for the π-calculus  ...  More recently, we studied a dynamic multirole session type in [17] where an arbitrary number of participants can dynamically join and leave an active session under a given role.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-19056-8_4">doi:10.1007/978-3-642-19056-8_4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/76cikyol4zh7dcywj6gizh3uoe">fatcat:76cikyol4zh7dcywj6gizh3uoe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809081007/http://mrg.doc.ic.ac.uk/publications/scribbling-interactions-with-a-formal-foundation/Scribble10.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/31/35/3135eeeff331c47573fd8af96ed3e3cbefb809ff.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-19056-8_4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A Reputation System for Multirole Sessions [chapter]

Viviana Bono, Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini
<span title="">2012</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We extend role-based multiparty sessions with reputations and policies associated with principals.  ...  The service checks the reputation of principals before allowing them to take part in a session, also according to the role they want to play.  ...  Introduction Building on [8] and [10] , where flexible role-based multiparty sessions were introduced, we address the question of accomodating dynamic interaction policies in sessions with multiple  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-30065-3_1">doi:10.1007/978-3-642-30065-3_1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/r5kfy6tjz5frnisnyn4n3vnkjm">fatcat:r5kfy6tjz5frnisnyn4n3vnkjm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180719213820/https://iris.unito.it/retrieve/handle/2318/101277/155394/bccd_4aperto.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/82/85/828533179f151516db1bef913b8cede4ecab3b2e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-30065-3_1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Pabble: parameterised Scribble

Nicholas Ng, Nobuko Yoshida
<span title="2014-12-20">2014</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zchzef3br5ekzb2qxdi7su6jym" style="color: black;">Service Oriented Computing and Applications</a> </i> &nbsp;
In spite of undecidability of endpoint projection and type checking in the underlying parameterised session type theory, our method guarantees the termination of end point projection and type checking.  ...  These parameterised protocols in turn automatically generate local protocols for type checking parameterised MPI programs for communication safety and deadlock freedom.  ...  Future work Future works include extending Pabble and the underlying theory with support for modeling process creation and destroy, such as dynamic multirole approach described in [7] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11761-014-0172-8">doi:10.1007/s11761-014-0172-8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/am3ikcvd4ja5tmselejsuj2amm">fatcat:am3ikcvd4ja5tmselejsuj2amm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170813223021/http://spiral.imperial.ac.uk/bitstream/10044/1/19623/4/Service%20Oriented%20Computing%20and%20Applications_Dec_2014.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/1a/9b/1a9b98cef341b826deca60c975ca26cc32c4e473.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11761-014-0172-8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A Multiparty Multi-session Logic [chapter]

Laura Bocchi, Romain Demangeon, Nobuko Yoshida
<span title="">2013</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Recent work on the enhancement of typing techniques for multiparty sessions with logical annotations enables, not only the validation of structural properties of the conversations and on the sorts of the  ...  in several interleaved sessions.  ...  On one side, the conversation calculus [8] , contracts [11] and dynamic multirole session types [14] have opened the way to the modelling of protocols complex in their shapes, by describing more accurately  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-41157-1_7">doi:10.1007/978-3-642-41157-1_7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/u5kgbfzj65dkth4g2d4jzh7zju">fatcat:u5kgbfzj65dkth4g2d4jzh7zju</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170921232518/http://www.cs.le.ac.uk/people/lb148/multi.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/cd/cb/cdcbc446204b9bc21041b4939d4abf31da9816fd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-41157-1_7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A Type Theory for Robust Failure Handling in Distributed Systems [chapter]

Tzu-Chun Chen, Malte Viering, Andi Bejleri, Lukasz Ziarek, Patrick Eugster
<span title="">2016</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Our goal is to give developers a description language, called protocol types, to specify robust failure handling that accounts for alignment, precision, causality, and decentralisation.  ...  A type discipline is built to statically ensure that asynchronous failure handling among multiple endpoints is free from orphan messages, deadlocks, starvation, and interactions are never stuck.  ...  multiroles.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-39570-8_7">doi:10.1007/978-3-319-39570-8_7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/caynz4vnlbflxhcjsjhvghfzce">fatcat:caynz4vnlbflxhcjsjhvghfzce</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20161022235539/http://andibejleri.net/papers/CVBZE16.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f3/dc/f3dc680134b21918184e4a7f681f0b81023d0c10.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-39570-8_7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A Gentle Introduction to Multiparty Asynchronous Session Types [chapter]

Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida
<span title="">2015</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The present article formalises these concepts and provides a gentle introduction to multiparty session type theory.  ...  The ability to prove relevant global properties by means of local checks is one of the key features of session type theories.  ...  The paper [71] shows that the multirole session types [31] can be naturally represented in a dependent-typed language.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-18941-3_4">doi:10.1007/978-3-319-18941-3_4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/uf5uiwxt2zf77kyycjjsiwkyjq">fatcat:uf5uiwxt2zf77kyycjjsiwkyjq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809060901/http://www.di.unito.it/%7Edezani/papers/cdpy15.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b7/f4/b7f47c16628cbe8baea360420bc403db0f287b1c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-18941-3_4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Global progress for dynamically interleaved multiparty sessions

MARIO COPPO, MARIANGIOLA DEZANI-CIANCAGLINI, NOBUKO YOSHIDA, LUCA PADOVANI
<span title="2014-11-10">2014</span> <i title="Cambridge University Press (CUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jdpukxfslnfmradqb65llq43na" style="color: black;">Mathematical Structures in Computer Science</a> </i> &nbsp;
Previous work on multiparty session types has ignored session interleaving, providing a limited progress property ensured only within a single session, by assuming non-interference among different sessions  ...  This paper develops, besides a more traditional, compositionalcommunicationtype system, a novel staticinteractiontype system for global progress in dynamically interleaved and interfered multiparty sessions  ...  Acknowledgements We thank Kohei Honda and the Concur reviewers for their comments on an early version of this paper and Gary Brown for his collaboration on an implementation of multiparty session types  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0960129514000188">doi:10.1017/s0960129514000188</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vmnnl5cuk5hc5ltkz4cmcqyzi4">fatcat:vmnnl5cuk5hc5ltkz4cmcqyzi4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130603005152/http://www.di.unito.it/%7Edezani/papers/cdy11a.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e5/61/e56109b9970aca76d7ff7acb55d4aa2e3d5de760.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0960129514000188"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> cambridge.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 94 results