EPTCS 69 - PLACES 2010

Kohei Honda, Alan Mycroft (Eds.): Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software. EPTCS 69 2010

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1110-4156
- ask others
Nuno Alves, Raymond Hu, Nobuko Yoshida, Pierre-Malo Deniélou: Secure Execution of Distributed Session Programs. 1-11
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1110-4157
- ask others
Joana Campos, Vasco T. Vasconcelos: Channels as Objects in Concurrent Object-Oriented Programming. 12-28
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1110-4159
- ask others
Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt, Hugo A. López: A Logic for Choreographies. 29-43
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1110-4160
- ask others
Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos F. Sagonas: A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering. 44-58
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1110-4161
- ask others
Thomas T. Hildebrandt, Raghava Rao Mukkamala: Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs. 59-73
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1110-4163
- ask others
Keigo Imai, Shoji Yuen, Kiyoshi Agusa: Session Type Inference in Haskell. 74-91
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1110-4164
- ask others
Julien Lange, Emilio Tuosto: A Modular Toolkit for Distributed Interactions. 92-110
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1110-4165
- ask others
Francisco Martins, Vasco Thudichum Vasconcelos, Tiago Cogumbreiro: Types for X10 Clocks. 111-129