![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
11th ICE 2018: Madrid, Spain
- Massimo Bartoletti, Sophia Knight:
Proceedings 11th Interaction and Concurrency Experience, ICE 2018, Madrid, Spain, June 20-21, 2018. EPTCS 279, 2018 - Franco Barbanera, Ugo de'Liguoro, Rolf Hennicker:
Global Types for Open Systems. 4-20 - Eric Fabre, G. Michele Pinna
:
Toward a Uniform Approach to the Unfolding of Nets. 21-36 - Roberto Guanciale
, Emilio Tuosto:
Realisability of Pomsets via Communicating Automata. 37-51 - Eduard Kamburjan, Reiner Hähnle
:
Prototyping Formal System Models with Active Objects. 52-67 - Alexandre Mansard:
Unfolding of Finite Concurrent Automata. 68-84 - Maurizio Murgia
:
On Urgency in Asynchronous Timed Session Types. 85-94
![](https://dblp.uni-trier.de/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.