default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st PLACES@DisCoTec 2008: Oslo, Norway
- Vasco T. Vasconcelos, Nobuko Yoshida:
Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@DisCoTec 2008, Oslo, Norway, June 7, 2008. Electronic Notes in Theoretical Computer Science 241, Elsevier 2009 - Vasco Thudichum Vasconcelos
, Nobuko Yoshida:
Preface. 1-2 - Andi Bejleri, Nobuko Yoshida:
Synchronous Multiparty Session Types. 3-33 - Marco Carbone:
Session-based Choreography with Exceptions. 35-55 - Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos:
Compiling the pi-calculus into a Multithreaded Typed Assembly Language. 57-84 - Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz, Samuel Hym, Damien Pous:
Encapsulation and Dynamic Modularity in the pi-calculus. 85-100 - Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida:
Type-Directed Compilation for Multicore Programming. 101-111 - Franz Puntigam:
Synchronization as a Special Case of Access Control. 113-133 - Rosario Pugliese, Francesco Tiezzi, Nobuko Yoshida:
A Symbolic Semantics for a Calculus for Service-Oriented Computing. 135-164
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-12-19 22:15 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:
