home
news
Statistics
browse
conferences
journals
series
search
author
CompleteSearch
Faceted Search @ L3S
Free Search @ isearch
about
f.a.q.
team
legal bits
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
Francisco Martins
,
Vasco Thudichum Vasconcelos
,
Tiago Cogumbreiro
:
Types for X10 Clocks.
111-129