![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
7th PLACES 2014: Grenoble, France
- 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 - Dimitris Mostrous:
Multiparty Sessions based on Proof Nets. 1-8 - Sam Lindley
, J. Garrett Morris
:
Sessions as Propositions. 9-16 - Francesco Tiezzi, Nobuko Yoshida
:
Towards Reversible Sessions. 17-24 - Dimitrios Kouzapas, Ramunas Gutkovas, Simon J. Gay:
Session Types for Broadcasting. 25-31 - Rumyana Neykova
, Nobuko Yoshida:
Multiparty Session Actors. 32-37 - Tzu-Chun Chen
:
Lightening Global Types. 38-46 - Stefan Blom, Saeed Darabi, Marieke Huisman
:
Verifying Parallel Loops with Separation Logic. 47-53 - Janwillem Swalens, Stefan Marr
, Joeri De Koster, Tom Van Cutsem:
Towards Composable Concurrency Abstractions. 54-60 - Mariangiola Dezani-Ciancaglini
, Luca Padovani
, Jovanka Pantovic
:
Session Type Isomorphisms. 61-71
![](https://dblp.org/img/cog.dark.24x24.png)
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.