Filters








257 Hits in 3.2 sec

Deciding the Bisimilarity of Context-Free Session Types [chapter]

Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
<span title="">2020</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;
We present an algorithm to decide the equivalence of contextfree session types, practical to the point of being incorporated in a compiler. We prove its soundness and completeness.  ...  In the process, we introduce an algorithm to decide the bisimilarity of simple grammars.  ...  This work was supported by FCT through the LASIGE Research Unit, ref. UIDB/00408/2020 and by Cost Action CA15123 EUTypes.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-030-45237-7_3">doi:10.1007/978-3-030-45237-7_3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/j5sjwdmep5gthofncaonytffiy">fatcat:j5sjwdmep5gthofncaonytffiy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200509135837/https://link.springer.com/content/pdf/10.1007%2F978-3-030-45237-7_3.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/a2/f4a2eb636cc9373e18ac4761db991c28d25704e3.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-45237-7_3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Higher-order Context-free Session Types in System F

Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos
<span title="2022-03-23">2022</span> <i title="Open Publishing Association"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qzezkwolyvf33pglm2jldjklca" style="color: black;">Electronic Proceedings in Theoretical Computer Science</a> </i> &nbsp;
We prove that the three notions coincide and derive a decidability result for the type equivalence problem of higher-order context-free session types.  ...  We present an extension of System F with higher-order context-free session types.  ...  Despite the interest of types characterized by context-free languages, types that live beyond regular are not limited to context-free session types; Gay et al.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.356.3">doi:10.4204/eptcs.356.3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/r3ui7ktm75amdg6mjibqak4hne">fatcat:r3ui7ktm75amdg6mjibqak4hne</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220516212044/https://arxiv.org/pdf/2203.12877v1.pdf" title="fulltext PDF download [not primary version]" 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] <span style="color: #f43e3e;">&#10033;</span> <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d9/27/d92798d71c049e3a20d21a8f53eb199099ecb92a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.356.3"> <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>

Characteristic bisimulation for higher-order session processes

Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida
<span title="2016-12-24">2016</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/cnqseeosvrf6tnj6sc3lbn2y4e" style="color: black;">Acta Informatica</a> </i> &nbsp;
In the setting of a higher-order π -calculus with session types, we develop characteristic bisimilarity, a typed bisimilarity which fully characterises contextual equivalence.  ...  To our knowledge, ours is the first characterisation of its kind.  ...  Acknowledgments This work has been partially sponsored by the The Doctoral Prize Fellowship, EPSRC EP/K011715/1, EPSRC EP/K034413/1, and EPSRC EP/L00058X/1, EU project FP7-612985 UpScale, and EU COST Action  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s00236-016-0289-7">doi:10.1007/s00236-016-0289-7</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/32103830">pmid:32103830</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC7010397/">pmcid:PMC7010397</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2mhbxewq3rczdjjtbpqsl4if4q">fatcat:2mhbxewq3rczdjjtbpqsl4if4q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170923041226/http://eprints.gla.ac.uk/114524/1/114524.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/df/aa/dfaa46af5d9720f947f476a3e17ee4597b0f455d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s00236-016-0289-7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7010397" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

Context-Free Session Types for Applied Pi-Calculus

Jens Aagaard, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen
<span title="2018-08-24">2018</span> <i title="Open Publishing Association"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qzezkwolyvf33pglm2jldjklca" style="color: black;">Electronic Proceedings in Theoretical Computer Science</a> </i> &nbsp;
We present a binary session type system using context-free session types to a version of the applied pi-calculus of Abadi et. al. where only base terms, constants and channels can be sent.  ...  Session types resemble process terms from BPA and we use a version of bisimulation equivalence to characterize type equivalence.  ...  These session types are a modified version of the context-free session types presented by [9] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.276.3">doi:10.4204/eptcs.276.3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dmqyzrgevvbqtdcl5rucu4sauu">fatcat:dmqyzrgevvbqtdcl5rucu4sauu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190222054803/http://pdfs.semanticscholar.org/3a0f/2c22d3e5a25e3dab929d8bdfbf6f18ca1459.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/3a/0f/3a0f2c22d3e5a25e3dab929d8bdfbf6f18ca1459.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.276.3"> <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>

Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols [chapter]

Alex C. Keizer, Henning Basold, Jorge A. Pérez
<span title="">2021</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;
We provide a syntax-free description of session-based concurrency as states of coalgebras.  ...  In turn, this coinductive presentation makes it possible to elegantly derive a decidable type system with subtyping for $$\pi $$ π -calculus processes, in which the states of a coalgebra will serve as  ...  Bisimilarity, similarity, and duality are decidable for c Type .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-030-72019-3_14">doi:10.1007/978-3-030-72019-3_14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dphvrbf36nfcbi46v267dnxibm">fatcat:dphvrbf36nfcbi46v267dnxibm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210718043741/https://link.springer.com/content/pdf/10.1007%2F978-3-030-72019-3_14.pdf?error=cookies_not_supported&amp;code=f264d61a-410a-48a7-8052-378347870fab" 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/b2/cf/b2cf1c93596dfd1e61ddd2fbd2e6dcbad80650c1.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-72019-3_14"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> springer.com </button> </a>

Polymorphic Context-free Session Types [article]

Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos
<span title="2022-03-27">2022</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We present the theory underlying the language FreeST 2, which features context-free session types in an extension of System F with linear types and a kind system to distinguish message types and channel  ...  Context-free session types provide a typing discipline for recursive structured communication protocols on bidirectional channels.  ...  Decidability of type equivalence for context-free session types is inherited from the decidability of bisimilarity of basic process algebras (BPA) [18] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2106.06658v2">arXiv:2106.06658v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3prrewldkjazvcbe642prrq64e">fatcat:3prrewldkjazvcbe642prrq64e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210616041407/https://arxiv.org/pdf/2106.06658v1.pdf" title="fulltext PDF download [not primary version]" 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] <span style="color: #f43e3e;">&#10033;</span> <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/4b/b9/4bb9c8b650df9a3f56d6f31d1cc387409ef251a8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2106.06658v2" 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>

Compositional Analysis of Protocol Equivalence in the Applied $$\pi $$-Calculus Using Quasi-open Bisimilarity [chapter]

Ross Horne, Sjouke Mauw, Semen Yurkov
<span title="">2021</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;
AbstractThis paper shows that quasi-open bisimilarity is the coarsest bisimilarity congruence for the applied $$\pi $$ π -calculus.  ...  congruence it can establish proofs of some privacy properties where finer equivalences fail to do so.  ...  to decide whether the messages are equal or not.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-030-85315-0_14">doi:10.1007/978-3-030-85315-0_14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4wwyssczqfffjbmrm5th3regda">fatcat:4wwyssczqfffjbmrm5th3regda</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220411203150/https://orbilu.uni.lu/bitstream/10993/50045/1/chp_10.1007_978-3-030-85315-0_14.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/e7/12/e71264797edbf05b7a9b358fecbd294407d49e4a.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-85315-0_14"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> springer.com </button> </a>

Model Checking for Nominal Calculi [chapter]

Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
<span title="">2005</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 then introduce a novel syntax-free setting to model the symbolic semantics of a nominal calculus.  ...  Our approach relies on the notions of reactive systems and observed borrowed contexts introduced by Leifer and Milner, and further developed by Sassone, Lack and Sobocinski.  ...  Acknowledgements The authors thank Vladimiro Sassone and Pawel Sobocinski for their helpful comments on an earlier draft of this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-31982-5_1">doi:10.1007/978-3-540-31982-5_1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kclgj4xut5dgfkeey6u226nfey">fatcat:kclgj4xut5dgfkeey6u226nfey</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810090133/http://www.cs.le.ac.uk/people/et52/LAVORI/etaps05.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/72/db/72db3bb691f1cfa6b17e335a0eb34140bcb552c0.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-540-31982-5_1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Linear Logic, the π-calculus, and their Metatheory: A Recipe for Proofs as Processes [article]

Fabrizio Montesi, Marco Peressotti
<span title="2021-06-22">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In particular, the hallmark of session types, session fidelity, still has to be reconstructed: a correspondence between the observable behaviours of processes and their session types, in terms of labelled  ...  What remains is reconstructing the expected metatheory of session types and the π-calculus.  ...  ACKNOWLEDGMENTS The authors thank Luís Cruz-Filipe and Davide Sangiorgi for useful discussions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2106.11818v1">arXiv:2106.11818v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yezqvwkjbjfjfi5w77zwvgcgze">fatcat:yezqvwkjbjfjfi5w77zwvgcgze</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210624202122/https://arxiv.org/pdf/2106.11818v1.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/62/ac/62ac4c0bcb6c46318ea0d34326ab943ce1bcdf93.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2106.11818v1" 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>

The stream-based service-centred calculus: a foundation for service-oriented programming

Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos
<span title="2013-08-06">2013</span> <i title="Springer Nature America, Inc"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/oeimezgcfbas7drzmyhogjmlb4" style="color: black;">Formal Aspects of Computing</a> </i> &nbsp;
Our type system is inspired in the results achieved for session types [22, 25, 42, 46] . Interestingly, it exploits the separation of concerns between conversation and orchestration.  ...  a series of value send/receive, isolated inside a session, while the orchestration of services is performed using the stream operations.  ...  Acknowledgements This work was partially supported by the Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology) through the CITI and the LASIGE strategic projects PEst-OE  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s00165-013-0284-5">doi:10.1007/s00165-013-0284-5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ydrore5qz5fqlgf3lvs2uewl2a">fatcat:ydrore5qz5fqlgf3lvs2uewl2a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200320182310/http://www.cs.unibo.it/~lanese/publications/hal/faoc-sscc.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/5e/58/5e5845442a3a80948fbc88c7da5aa488e25b077a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s00165-013-0284-5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

On sequentiality and well-bracketing in the π-calculus

Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
<span title="2021-06-29">2021</span> <i title="IEEE"> 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) </i> &nbsp;
We formalise the disciplines by means of type systems. The main focus of the paper is on studying the consequence of the disciplines on behavioural equivalence.  ...  We show the usefulness of our techniques on a number of examples, that have mainly to do with the representation of functions and store.  ...  In the proof of completeness one has to show that the contexts of the language are at least as discriminating as the labelled bisimilarity.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/lics52264.2021.9470559">doi:10.1109/lics52264.2021.9470559</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jwoqtwxdszfvfex2p7ew2dqoze">fatcat:jwoqtwxdszfvfex2p7ew2dqoze</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220308030151/https://hal.archives-ouvertes.fr/hal-03203191/file/main.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/90/2e901fe2a18d9847802a1993009424a2cc295d26.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/lics52264.2021.9470559"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Linear Logical Relations for Session-Based Concurrency [chapter]

Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho
<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;
The type system obtained from the interpretation ensures fundamental properties of session-based typed disciplines-most notably, type preservation, session fidelity, and global progress.  ...  are realized by coercions between interface types of session-based concurrent systems.  ...  Definition 5.2 (Typed Context Bisimilarity).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-28869-2_27">doi:10.1007/978-3-642-28869-2_27</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gpkpmr5bgncxnbk3b3pn2nzjb4">fatcat:gpkpmr5bgncxnbk3b3pn2nzjb4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150112044454/http://www.cs.cmu.edu/~btoninho/esop12.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/d4/d3/d4d3b0a541126764274a6957c55cc7d9bb066aef.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-28869-2_27"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Disciplining Orchestration and Conversation in Service-Oriented Computing

Ivan Lanese, Francisco Martins, Vasco T. Vasconcelos, Antonio Ravara
<span title="">2007</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4gnym4oll5fczbcpsn2kvn53em" style="color: black;">Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)</a> </i> &nbsp;
of bisimilarity to prove equivalence among services, and we discuss deadlock-avoidance.  ...  To hint how the structuring mechanisms of the language can be exploited for static analysis we present a simple type system guaranteeing the compatibility between client and server protocols, an application  ...  This work was partially supported by FEDER, the EU IST proactive initiative FET-Global Computing (project Sensoria, IST-2005-16004). We thank L. Caires, R. Bruni, D. Sangiorgi, and G.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/sefm.2007.13">doi:10.1109/sefm.2007.13</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sefm/LaneseMVR07.html">dblp:conf/sefm/LaneseMVR07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ydzvoqr7ybd3nheboxbisyjbna">fatcat:ydzvoqr7ybd3nheboxbisyjbna</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20090925064116/http://sqig.math.ist.utl.pt/pub/RavaraA/07-LVMR-sscc.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/e8/1f/e81f6472e6cf7ab32b4503348019f306ab87efa1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/sefm.2007.13"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Discovering ePassport Vulnerabilities using Bisimilarity

Ross Horne, Sjouke Mauw, Episciences
<span title="2020-02-19">2020</span> <i title="episciences.org"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/c67srop7pbe3nciquoxzy3d6pm" style="color: black;">Logical Methods in Computer Science</a> </i> &nbsp;
In order to tackle such bisimilarity problems, we develop here a chain of methods for the applied $\pi$-calculus including a symbolic under-approximation of bisimilarity, called open bisimilarity, and  ...  the PACE protocol, which improves on the security of BAC in the latest ICAO 9303 standards.  ...  Last, but not least, we congratulate Jos Baeten on the occasion of his retirement and dedicate this work to his leadership in the field of concurrency.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.23638/lmcs-17(2:24)2021">doi:10.23638/lmcs-17(2:24)2021</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/y7jd7pzi3bflfj5x4r5gkxz3qe">fatcat:y7jd7pzi3bflfj5x4r5gkxz3qe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210730225145/https://lmcs.episciences.org/7537/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/79/25/79257b685fbbfe24220d27c4055238d8ebee3f56.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.23638/lmcs-17(2:24)2021"> <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>

Better late than never: a fully-abstract semantics for classical processes

Wen Kokke, Fabrizio Montesi, Marco Peressotti
<span title="2019-01-02">2019</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dqy7qc7jkzal5bz3gueys3siz4" style="color: black;">Proceedings of the ACM on Programming Languages (PACMPL)</a> </i> &nbsp;
Lindley, and the anonymous reviewers for their comments.This work was partially supported by the Independent Research Fund Denmark, grant no.  ...  DFF-7014-00041, and the Engineering and Physical Sciences Research Council, grant no. EP/L01503X/1.  ...  One of the most important extensions of session types is Multiparty Session Types, by Honda et al. [2016] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3290337">doi:10.1145/3290337</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/27wszsze2bdxxd6bvoh3qahqtu">fatcat:27wszsze2bdxxd6bvoh3qahqtu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200306094155/https://findresearcher.sdu.dk:8443/ws/files/146021141/popl19main_p274_p.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/a1/a3/a1a39ce892ac942e081270fac779af67644d26ca.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3290337"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 257 results