COORDINATION C

17 papers

YearTitle / Authors
2016A Formal Analysis of the Global Sequence Protocol.
Hernán C. Melgratti, Christian Roldán
2016A Game Interpretation of Retractable Contracts.
Franco Barbanera, Ugo de'Liguoro
2016A Semantic Theory of the Internet of Things - (Extended Abstract).
Ruggero Lanotte, Massimo Merro
2016An Interference-Free Programming Model for Network Objects.
Mischael Schill, Christopher M. Poskitt, Bertrand Meyer
2016Coordination 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
Alberto Lluch-Lafuente, José Proença
2016From Modelling to Systematic Deployment of Distributed Active Objects.
Ludovic Henrio, Justine Rochas
2016Improving Gossip Dynamics Through Overlapping Replicates.
Danilo Pianini, Jacob Beal, Mirko Viroli
2016Modelling Ambulance Deployment with CarmaCARMA.
Vashti Galpin
2016Multilevel Transitive and Intransitive Non-interference, Causally.
Paolo Baldan, Alessandro Beggiato
2016On Dynamical Probabilities, or: How to Learn to Shoot Straight.
Herbert Wiklicky
2016On Sessions and Infinite Data.
Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini
2016On Synchronous and Asynchronous Compatibility of Communicating Components.
Rolf Hennicker, Michel Bidoit, Thanh-Son Dang
2016On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination.
Vincenzo Ciancia, Diego Latella, Mieke Massink
2016ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations.
Kiko Fernandez-Reyes, Dave Clarke, Daniel S. McCain
2016Scheduling Games for Concurrent Systems.
Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab
2016Tuple Spaces Implementations and Their Efficiency.
Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina
2016Where Do Your IoT Ingredients Come From?
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta