default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th PLACES 2013: Rome, Italy
- Nobuko Yoshida
, Wim Vanderbauwhede:
Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013. EPTCS 137, 2013 - Luca Padovani:
From Lock Freedom to Progress Using Session Types. 3-19 - Cinzia Di Giusto, Jorge A. Pérez:
Session Types with Runtime Adaptation: Overview and Examples. 21-32 - Yoichi Hirai:
Session Types in Abelian Logic. 33-52 - Laura Bocchi, Romain Demangeon:
Embedding Session Types in HML. 53-62 - Tarmo Uustalu:
Coinductive Big-Step Semantics for Concurrency. 63-78 - Ashkan Tousimojarad, Wim Vanderbauwhede:
The Glasgow Parallel Reduction Machine: Programming Shared-memory Many-core Systems using Parallel Task Composition. 79-94 - Rumyana Neykova:
Session Types Go Dynamic or How to Verify Your Python Conversations. 95-102 - Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos, Nicholas Ng, Nuno Martins:
Towards deductive verification of MPI programs against session types. 103-113 - Romain Demeyer, Wim Vanhoof:
Static Application-Level Race Detection in STM Haskell using Contracts. 115-134 - Simon Dobson, Alan Dearle, Barry Porter:
Minimising virtual machine support for concurrency. 135-141
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
