EPTCS 69 - PLACES 2010

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1110-3853
- ask others
Kohei Honda, Alan Mycroft (Eds.): Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software. 2010 EPTCS 69 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- 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
  - table of contents in DBLP
  - electronic edition via DOI
- 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
  - table of contents in DBLP
  - electronic edition via DOI
- 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
  - table of contents in DBLP
  - electronic edition via DOI
- 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
  - table of contents in DBLP
  - electronic edition via DOI
- 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
  - table of contents in DBLP
  - electronic edition via DOI
- 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
  - table of contents in DBLP
  - electronic edition via DOI
- 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
  - table of contents in DBLP
  - electronic edition via DOI
- 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