Filters








422 Hits in 5.5 sec

Deadlock Freedom for Asynchronous and Cyclic Process Networks (Extended Version) [article]

Bas van den Heuvel, Jorge A. Pérez
<span title="2021-11-01">2021</span>
We present APCP, a typed process framework for deadlock freedom which supports asynchronous communication, delegation, recursion, and a general form of process composition that enables specifying cyclic  ...  In particular, we consider the case of processes that implement session types by communicating asynchronously in cyclic process networks.  ...  Acknowledgements We are grateful to the anonymous reviewers for their careful reading of our paper and their useful feedback. We also thank Ornela Dardha for clarifying the typing rules of PCP to us.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.48550/arxiv.2111.13091">doi:10.48550/arxiv.2111.13091</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/srxmiukqjbd75ezygmxqrarc4e">fatcat:srxmiukqjbd75ezygmxqrarc4e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220507181431/https://arxiv.org/pdf/2111.13091.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/4d/39/4d39c19499d6280be10622cc07084db457939a7c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.48550/arxiv.2111.13091"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

A type-theoretic approach to deadlock-freedom of asynchronous systems [chapter]

Samson Abramsky, Simon Gay, Rajagopal Nagarajan
<span title="">1997</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 present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems.  ...  In the resulting category ASProcD, combining well-typed processes preserves deadlock-freedom. It is also possible to accommodate non-compositional methods within the same framework.  ...  Acknowledgements We w ould like to thank the referees for their valuable comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0014557">doi:10.1007/bfb0014557</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2bqd3qgl4zeohoe2upcn7egkiy">fatcat:2bqd3qgl4zeohoe2upcn7egkiy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829010901/https://ptolemy.eecs.berkeley.edu/papers/97/typesAsynchronous/tacs97.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/0b/84/0b849f080f9f340b34b6c4b324970d30a1894f19.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0014557"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

What is a 'Good' Encoding of Guarded Choice?

Uwe Nestmann
<span title="">1997</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
and divergence-freedom.  ...  The -calculus with synchronous output and mixed-guarded choices is strictly more expressive than the -calculus with asynchronous output and no choice.  ...  Acknowledgement The author would like to thank C edric Fournet, Kohei Honda, Naoki Kobayashi, Catuscia Palamidessi, Benjamin Pierce, Davide Sangiorgi, Martin Ste en, and Nobuko Yoshida for many fruitful  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(05)80474-8">doi:10.1016/s1571-0661(05)80474-8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/toc36ecepnh2znenleb73aj2te">fatcat:toc36ecepnh2znenleb73aj2te</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190416004454/https://core.ac.uk/download/pdf/81126530.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/f4/33/f43329c1a21fadb75b90dbc7b3bda0a414a73d76.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(05)80474-8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

What is a 'Good' Encoding of Guarded Choice?

Uwe Nestmann
<span title="1999-12-13">1999</span> <i title="Aarhus University Library"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/433eg2tipzegfkgt5m5cmv46zq" style="color: black;">BRICS Report Series</a> </i> &nbsp;
to compositionality and divergence-freedom.  ...  The pi-calculus with synchronous output and mixed-guarded choices is strictly more expressive than the pi-calculus with asynchronous output and no choice.  ...  discussions, and the anonymous referees for their constructive remarks.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7146/brics.v6i43.20113">doi:10.7146/brics.v6i43.20113</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zdh72ucvkbabllrkhmvrd7lrzu">fatcat:zdh72ucvkbabllrkhmvrd7lrzu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190427013119/https://tidsskrift.dk/brics/article/download/20113/17734" 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/c4/e6/c4e68e098bc8c53e4851b12991a9f9eaef1c1464.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7146/brics.v6i43.20113"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Formal Verification of CHP Specifications with CADP Illustration on an Asynchronous Network-on-Chip

Gwen Salaun, Wendelin Serwe, Yvain Thonnart, Pascal Vivet
<span title="">2007</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hj2gwx35zjefdfs7dugebvslg4" style="color: black;">Advanced Research in Asynchronous Circuits and Systems (ASYNC) Proceedings of the International Symposium on</a> </i> &nbsp;
In this paper, we illustrate our technique on an asynchronous Network-on-Chip architecture.  ...  The CADP toolbox capabilities allow the designer to verify properties such as deadlock-freedom or protocol correctness on substantial systems.  ...  The authors would like to thank their colleagues from the TIMA CIS group for providing the TAST CHP syntax, and for valuable discussions on the probe semantics.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/async.2007.18">doi:10.1109/async.2007.18</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/async/SalaunSTV07.html">dblp:conf/async/SalaunSTV07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qcvjfcn23bddzjpld6ldkibtc4">fatcat:qcvjfcn23bddzjpld6ldkibtc4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110403085920/http://hal.archives-ouvertes.fr/docs/00/20/04/50/PDF/Salaun-Serwe-Thonnart-Vivet-07.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/ba/54/ba544dd66341d8cb3809fd1b02293bcff3249f0d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/async.2007.18"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

What is a "Good" Encoding of Guarded Choice?

Uwe Nestmann
<span title="">2000</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/joe2ngto45hbnl3pncnesnq344" style="color: black;">Information and Computation</a> </i> &nbsp;
For this case, we show how to prove important``reasonable'' properties like deadlock-and divergence-freedom.  ...  Mixed Choice In analogy to the discussion on cyclic waiting (Section 4), the type-checker (strategy A) for deadlock-freedom fails, when reusing the encoding for separate choice in the case of mixed choice  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1006/inco.1999.2822">doi:10.1006/inco.1999.2822</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hldwafyoarbcxd3abh5otm2iui">fatcat:hldwafyoarbcxd3abh5otm2iui</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190220193633/http://pdfs.semanticscholar.org/2d46/d7d549c7177b1027b045f8c819a67a7a5e29.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/2d/46/2d46d7d549c7177b1027b045f8c819a67a7a5e29.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1006/inco.1999.2822"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

What Is a 'Good' Encoding of Guarded Choice?

Uwe Nestmann
<span title="1997-06-15">1997</span> <i title="Aarhus University Library"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/433eg2tipzegfkgt5m5cmv46zq" style="color: black;">BRICS Report Series</a> </i> &nbsp;
to compositionality and divergence-freedom.  ...  The pi-calculus with synchronous output and mixed-guarded choices is strictly more expressive than the pi-calculus with asynchronous output and no choice.  ...  For well-typed processes, we have the following useful properties concerning partial deadlock-freedom [Kob97] , which we present here in a weaker, but simplified version: Theorem B.1.1 (Subject reduction  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7146/brics.v4i45.19266">doi:10.7146/brics.v4i45.19266</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ft4tknmnenfczpy6wvorru2r7e">fatcat:ft4tknmnenfczpy6wvorru2r7e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180719071932/https://tidsskrift.dk/brics/article/download/19266/16893" 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/dd/32/dd32b734acdc83056f5c53740930781629fafccc.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7146/brics.v4i45.19266"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis

Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng, Chris Myers
<span title="">2016</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hq6x4whtd5hhlhsxzculyeamey" style="color: black;">Science of Computer Programming</a> </i> &nbsp;
The routing algorithm is proven to have several desirable properties including deadlock and livelock freedom, and tolerance to a single-link-fault.  ...  A fault-tolerant routing algorithm in Network-on-Chip (NoC) architectures provides adaptivity for on-chip communications.  ...  A larger network would include duplicates of the routers shown here. This architecture implements an extended version of the routing algorithm [4] described by Wu et al .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.scico.2016.01.002">doi:10.1016/j.scico.2016.01.002</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/t43j6pvb2vd4hpa32iz4qbqhby">fatcat:t43j6pvb2vd4hpa32iz4qbqhby</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180725155149/https://manuscript.elsevier.com/S0167642316000125/pdf/S0167642316000125.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/0c/b6/0cb6361ed4901dedebadd44fab82b1fb2cd4113b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.scico.2016.01.002"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Deadlock-Free Multicasting in Irregular Networks Using Prefix Routing

Jie Wu, Li Sheng
<span title="">2005</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qhbautqnvzgwvm3vvdvieylhwq" style="color: black;">Journal of Supercomputing</a> </i> &nbsp;
A deadlock-free multicast scheme called prefix multicasting in irregular networks (i.e., networks with irregular topology) is studied.  ...  It is shown that the proposed routing scheme is deadlock-and livelock-free.  ...  Conclusions In this paper, we have extended a prefix-based routing scheme to prefix multicasting in irregular networks and shown that it is deadlock-and livelock-free.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1023/b:supe.0000049325.58858.72">doi:10.1023/b:supe.0000049325.58858.72</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vs3tgbuy2bbzjlwuqhvp3pn2em">fatcat:vs3tgbuy2bbzjlwuqhvp3pn2em</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120103130412/http://www.cis.temple.edu/~wu/research/publications/Publication_files/wusheng05.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/e6/46/e646fadcced1a3c5632858626d99b5fec94ab091.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1023/b:supe.0000049325.58858.72"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Epoch-based reconfiguration: Fast, simple, and effective dynamic network reconfiguration

J. M. Montanana, J. Flich, J. Duato
<span title="">2008</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5vsih2yegrfubf7el6ncng3mgq" style="color: black;">Proceedings, International Parallel and Distributed Processing Symposium (IPDPS)</a> </i> &nbsp;
In this paper we present EBR, a simple and fast method for dynamic network reconfiguration.  ...  Dynamic network reconfiguration is defined as the process of changing from one routing function to another while the network remains up and running.  ...  Acknowledgments We would like to thank Professors Timothy Mark Pinkston and Olav Lysne for their useful comments and help.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ipdps.2008.4536298">doi:10.1109/ipdps.2008.4536298</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ipps/MontananaFD08.html">dblp:conf/ipps/MontananaFD08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5ffaghi45vcb3o3zyzphz5kj6i">fatcat:5ffaghi45vcb3o3zyzphz5kj6i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120628113008/http://www.disca.upv.es/jflich/papers/ipdps08.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/09/5c/095c36388fa292fa02d1f2fbf31a683cae9c28cf.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ipdps.2008.4536298"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

A specification structure for deadlock-freedom of synchronous processes

S. Abramsky, S.J. Gay, R. Nagarajan
<span title="">1999</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elaf5sq7lfdxfdejhkqbtz6qoq" style="color: black;">Theoretical Computer Science</a> </i> &nbsp;
is process interaction. 5P~rOCD is obtained from 5P~roc by adding specification information to the objects which is strong enough to guarantee deadlock-freedom.  ...  As a specific example, a certain specification structure defined over the interaction category &~roc yields a new category 5~rocD in which morphisms are deadlock-free concurrent processes and composition  ...  Acknowledgements This research was partly supported by the EPSRC project "Foundational Structures in Computer Science", and the EU projects "CONFER" (ESPRIT BRA 6454) and "Coordination" (ESPRIT BRA 9102  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0304-3975(98)00189-3">doi:10.1016/s0304-3975(98)00189-3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7327fflyi5d3pnflmvi45ls4su">fatcat:7327fflyi5d3pnflmvi45ls4su</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190417211141/https://core.ac.uk/download/pdf/82486351.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/32/e532fd00d82dfb590fb6a84c327dd50d190d06d1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0304-3975(98)00189-3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Formal Verification of a Programmable Hypersurface [chapter]

Panagiotis Kouvaros, Dimitrios Kouzapas, Anna Philippou, Julius Georgiou, Loukas Petrou, Andreas Pitsillides
<span title="">2018</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;
This paper shares the experience of a rigorous design procedure for the Hypersurface network, that involves iterations between designing a network and its protocols and the formal evaluation of each design  ...  The Hypersurface design is concerned with the development of a network of switch controllers that are responsible for configuring the metamaterial.  ...  Thus, we intend to analyse the behaviour of our design under various fault models and extend our routing protocols to fault-tolerant versions, as needed. Figure 1 : 1 Pin Allocation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-030-00244-2_6">doi:10.1007/978-3-030-00244-2_6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rpihi2fcsfawho5527eg7numj4">fatcat:rpihi2fcsfawho5527eg7numj4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190228021059/http://pdfs.semanticscholar.org/9a39/835684c644a075697243935b1c170b5b65a8.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/9a/39/9a39835684c644a075697243935b1c170b5b65a8.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-030-00244-2_6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Model-Based Adaptation of Software Communicating via FIFO Buffers [chapter]

Carlos Canal, Gwen Salaün
<span title="">2015</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;
Generating adapters in this context becomes a difficult problem because peers may exhibit cyclic behaviour, and their composition often results in infinite systems.  ...  In this paper, we present a method for automatically generating adapters in asynchronous environments where peers interact using FIFO buffers.  ...  The method supports both off-line and run-time synthesis. The obtained mediator is the most general component that ensures deadlock-freedom and the absence of communication mismatch.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-662-46675-9_17">doi:10.1007/978-3-662-46675-9_17</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/iq43pvo3zfewvozes5muyq42eu">fatcat:iq43pvo3zfewvozes5muyq42eu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922093212/https://hal.inria.fr/hal-01150353/document" 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/76/46/7646458adccaa9d28f4a3688347f0925d7953a96.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-662-46675-9_17"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Mailbox Types for Unordered Interactions

Ugo De'Liguoro, Luca Padovani, Michael Wagner
<span title="2018-07-05">2018</span> <i > <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qnp47ut6vrdjjmiy7zdltauwje" style="color: black;">European Conference on Object-Oriented Programming</a> </i> &nbsp;
We propose a type system for reasoning on protocol conformance and deadlock freedom in networks of processes that communicate through unordered mailboxes.  ...  Well-typed processes are deadlock free and never fail because of unexpected messages. For a non-trivial class of them, junk freedom is also guaranteed.  ...  For example, some of the aforementioned works [36, 45] are able to establish deadlock freedom of some cyclic network topologies.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.ecoop.2018.15">doi:10.4230/lipics.ecoop.2018.15</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ecoop/deLiguoroP18.html">dblp:conf/ecoop/deLiguoroP18</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ggxn7z73rffltl4ekclnba2df4">fatcat:ggxn7z73rffltl4ekclnba2df4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220221032234/https://drops.dagstuhl.de/opus/volltexte/2018/9220/pdf/LIPIcs-ECOOP-2018-15.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/4b/ef/4bef0dd2c6777dfe86192f4f177a682f7a8c6965.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.ecoop.2018.15"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Session Subtyping and Multiparty Compatibility Using Circular Sequents

Ross Horne, Laura Kovács, Igor Konnov
<span title="2020-08-26">2020</span> <i title="Schloss Dagstuhl - Leibniz-Zentrum für Informatik"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/iv4yo5vao5ctfjfushi4akt5xi" style="color: black;">International Conference on Concurrency Theory</a> </i> &nbsp;
We establish standard results: that the type system is algorithmic, that multiparty compatible processes which are race free are also deadlock free, and that subtyping is sound with respect to the substitution  ...  We present a structural proof theory for multi-party sessions, exploiting the expressive power of non-commutative logic which can capture explicitly the message sequence order in sessions.  ...  Guaranteeing deadlock freedom (via race freedom) In order to prove deadlock freedom of multiparty compatible networks, we require a reduction system for closed networks, defined by the rules in Fig. 5  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.concur.2020.12">doi:10.4230/lipics.concur.2020.12</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/concur/Horne20.html">dblp:conf/concur/Horne20</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wcxnqve55zdb7jdkodhzogmf6e">fatcat:wcxnqve55zdb7jdkodhzogmf6e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201210150819/https://drops.dagstuhl.de/opus/volltexte/2020/12824/pdf/LIPIcs-CONCUR-2020-12.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/8d/f7/8df71613d792c4bc33ceb4e50132c2bd8073cf28.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.concur.2020.12"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 422 results