![](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
20th COORDINATION 2018: Madrid, Spain
- Giovanna Di Marzo Serugendo, Michele Loreti:
Coordination Models and Languages - 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings. Lecture Notes in Computer Science 10852, Springer 2018, ISBN 978-3-319-92407-6 - Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli:
Space-Time Universality of Field Calculus. 1-20 - Mario Bravetti, Gianluigi Zavattaro:
Foundations of Coordination and Contracts and Their Contribution to Session Type Theory. 21-50 - Giovanni Ciatto
, Stefano Mariani
, Maxime Louvel
, Andrea Omicini
, Franco Zambonelli
:
Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives. 51-80 - Denis Darquennes
, Jean-Marie Jacquet
, Isabelle Linden
:
On Multiplicities in Tuple-Based Coordination Languages: The Bach Family of Languages and Its Expressiveness Study. 81-109 - Rocco De Nicola
, Gian-Luigi Ferrari
, Rosario Pugliese
, Francesco Tiezzi:
A Formal Approach to the Engineering of Domain-Specific Distributed Systems. 110-141 - Kasper Dokter
, Farhad Arbab:
Rule-Based Form for Stream Constraints. 142-161 - Kiko Fernandez-Reyes
, Dave Clarke
, Elias Castegren
, Huu-Phuc Vo:
Forward to a Promising Future. 162-180 - Linas Kaminskas, Alberto Lluch-Lafuente
:
Aggregation Policies for Tuple Spaces. 181-199 - Eva Kühn, Sophie Therese Radschek, Nahla A. El-Araby
:
Distributed Coordination Runtime Assertions for the Peer Model. 200-219 - Gaétan Hains, Ludovic Henrio, Pierre Leca, Wijnand Suijlen:
Active Objects for Coordinating BSP Computations (Short Paper). 220-230 - Pierre Sutra
, Patrick Marlier, Valerio Schiavoni
, François Trahay
:
Boosting Transactional Memory with Stricter Serializability. 231-251 - Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei
, Danilo Pianini
:
From Field-Based Coordination to Aggregate Computing. 252-279
![](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.