default search action

combined dblp search
author search
venue search
publication search

ask others

7th PLACES 2014: Grenoble, France

> 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/DonaldsonV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DonaldsonV14
Alastair F. Donaldson, Vasco T. Vasconcelos:
Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2014, Grenoble, France, 12 April 2014. EPTCS 155, 2014
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Mostrous14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Mostrous14
Dimitris Mostrous:
Multiparty Sessions based on Proof Nets. 1-8
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LindleyM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LindleyM14
Sam Lindley, J. Garrett Morris:
Sessions as Propositions. 9-16
- view
  authority control:
- export record
  dblp key:
  - journals/corr/TiezziY14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/TiezziY14
Francesco Tiezzi, Nobuko Yoshida:
Towards Reversible Sessions. 17-24
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KouzapasGG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KouzapasGG14
Dimitrios Kouzapas, Ramunas Gutkovas, Simon J. Gay:
Session Types for Broadcasting. 25-31
- view
  authority control:
- export record
  dblp key:
  - journals/corr/NeykovaY14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NeykovaY14
Rumyana Neykova, Nobuko Yoshida:
Multiparty Session Actors. 32-37
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Chen14g
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Chen14g
Tzu-Chun Chen:
Lightening Global Types. 38-46
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BlomDH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BlomDH14
Stefan Blom, Saeed Darabi, Marieke Huisman:
Verifying Parallel Loops with Separation Logic. 47-53
- view
  authority control:
- export record
  dblp key:
  - journals/corr/SwalensMKC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SwalensMKC14
Janwillem Swalens, Stefan Marr, Joeri De Koster, Tom Van Cutsem:
Towards Composable Concurrency Abstractions. 54-60
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Dezani-CiancagliniPP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Dezani-CiancagliniPP14
Mariangiola Dezani-Ciancaglini, Luca Padovani, Jovanka Pantovic:
Session Type Isomorphisms. 61-71

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.