default search action

combined dblp search
author search
venue search
publication search

ask others

3rd PLACES 2010: Paphos, Cyprus

> Home > Conferences and Workshops > PLACES

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1110-3853
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1110-3853
Kohei Honda, Alan Mycroft:
Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, PLACES 2010, Paphos, Cyprus, 21st March 2010. EPTCS 69, 2010
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1110-4156
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1110-4156
Nuno Alves, Raymond Hu, Nobuko Yoshida, Pierre-Malo Deniélou:
Secure Execution of Distributed Session Programs. 1-11
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1110-4157
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1110-4157
Joana Campos, Vasco T. Vasconcelos:
Channels as Objects in Concurrent Object-Oriented Programming. 12-28
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1110-4159
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1110-4159
Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt, Hugo A. López:
A Logic for Choreographies. 29-43
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1110-4160
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1110-4160
Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas:
A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering. 44-58
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1110-4161
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1110-4161
Thomas T. Hildebrandt, Raghava Rao Mukkamala:
Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs. 59-73
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1110-4163
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1110-4163
Keigo Imai, Shoji Yuen, Kiyoshi Agusa:
Session Type Inference in Haskell. 74-91
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1110-4164
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1110-4164
Julien Lange, Emilio Tuosto:
A Modular Toolkit for Distributed Interactions. 92-110
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1110-4165
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1110-4165
Francisco Martins, Vasco Thudichum Vasconcelos, Tiago Cogumbreiro:
Types for X10 Clocks. 111-129

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.