default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18. COORDINATION 2016: Heraklion, Crete, Greece
- Alberto Lluch-Lafuente, José Proença
:
Coordination Models and Languages - 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Lecture Notes in Computer Science 9686, Springer 2016, ISBN 978-3-319-39518-0 - Paolo Baldan, Alessandro Beggiato:
Multilevel Transitive and Intransitive Non-interference, Causally. 1-17 - Franco Barbanera, Ugo de'Liguoro:
A Game Interpretation of Retractable Contracts. 18-34 - Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta:
Where Do Your IoT Ingredients Come From? 35-50 - Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina:
Tuple Spaces Implementations and Their Efficiency. 51-66 - Vincenzo Ciancia, Diego Latella, Mieke Massink:
On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination. 67-83 - Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab:
Scheduling Games for Concurrent Systems. 84-100 - Kiko Fernandez-Reyes, Dave Clarke, Daniel S. McCain:
ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations. 101-120 - Vashti Galpin:
Modelling Ambulance Deployment with CarmaCARMA. 121-137 - Rolf Hennicker, Michel Bidoit, Thanh-Son Dang:
On Synchronous and Asynchronous Compatibility of Communicating Components. 138-156 - Ruggero Lanotte, Massimo Merro:
A Semantic Theory of the Internet of Things - (Extended Abstract). 157-174 - Hernán C. Melgratti, Christian Roldán:
A Formal Analysis of the Global Sequence Protocol. 175-191 - Danilo Pianini, Jacob Beal, Mirko Viroli:
Improving Gossip Dynamics Through Overlapping Replicates. 192-207 - Ludovic Henrio, Justine Rochas:
From Modelling to Systematic Deployment of Distributed Active Objects. 208-226 - Mischael Schill, Christopher M. Poskitt, Bertrand Meyer:
An Interference-Free Programming Model for Network Objects. 227-244 - Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini:
On Sessions and Infinite Data. 245-261 - Herbert Wiklicky:
On Dynamical Probabilities, or: How to Learn to Shoot Straight. 262-277
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.
last updated on 2024-11-11 21:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
