Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Rocco De Nicola, Gian-Luigi Ferrari 0002, Rosario Pugliese, Francesco Tiezzi 0001 |
A Formal Approach to the Engineering of Domain-Specific Distributed Systems. |
COORDINATION |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli |
Space-Time Universality of Field Calculus. |
COORDINATION |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Ciatto, Stefano Mariani 0001, Maxime Louvel, Andrea Omicini, Franco Zambonelli |
Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives. |
COORDINATION |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Simon Bliudze, Alena Simalatsar, Alina Zolotukhina |
Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies. |
COORDINATION |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Alessandro Beggiato, Alberto Lluch-Lafuente |
Many-to-Many Information Flow Policies. |
COORDINATION |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Durán 0001, Gwen Salaün |
Verifying Timed BPMN Processes Using Maude. |
COORDINATION |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Brogi, Andrea Canciani, Jacopo Soldani |
Modelling the Dynamic Reconfiguration of Application Topologies, Faults Included. |
COORDINATION |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Bernardi 0001, Adrian Francalanza |
Full-Abstraction for Must Testing Preorders - (Extended Abstract). |
COORDINATION |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Marie Jacquet, Mieke Massink (eds.) |
Coordination Models and Languages - 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings |
COORDINATION |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Maxime Louvel, François Pacull, Éric Rutten, Adja Ndeye Sylla |
Development Tools for Rule-Based Coordination Programming in LINC. |
COORDINATION |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Giovanna Di Marzo Serugendo |
Spatial Edge Services - From Coordination Model to Actual Applications. |
COORDINATION |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marco Krauweel, Sung-Shik T. Q. Jongmans |
Simpler Coordination of JavaScript Web Workers. |
COORDINATION |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Keigo Imai, Nobuko Yoshida, Shoji Yuen |
Session-ocaml: A Session-Based Library with Polarities and Lenses. |
COORDINATION |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani |
AErlang: Empowering Erlang with Attribute-Based Communication. |
COORDINATION |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Franco Barbanera, Ivan Lanese, Ugo de'Liguoro |
Retractable and Speculative Contracts. |
COORDINATION |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Gadducci, Hernán C. Melgratti, Christian Roldán |
A Denotational View of Replicated Data Types. |
COORDINATION |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Maurice H. ter Beek, Josep Carmona 0001, Rolf Hennicker, Jetty Kleijn |
Communication Requirements for Team Automata. |
COORDINATION |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Audrito, Ferruccio Damiani, Mirko Viroli |
Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed. |
COORDINATION |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini |
On Sessions and Infinite Data. |
COORDINATION |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Letterio Galletta |
Where Do Your IoT Ingredients Come From? |
COORDINATION |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Alessandro Beggiato |
Multilevel Transitive and Intransitive Non-interference, Causally. |
COORDINATION |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina |
Tuple Spaces Implementations and Their Efficiency. |
COORDINATION |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hernán C. Melgratti, Christian Roldán |
A Formal Analysis of the Global Sequence Protocol. |
COORDINATION |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ruggero Lanotte, Massimo Merro |
A Semantic Theory of the Internet of Things - (Extended Abstract). |
COORDINATION |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Vincenzo Ciancia, Diego Latella, Mieke Massink |
On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination. |
COORDINATION |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kiko Fernandez-Reyes, Dave Clarke 0001, Daniel S. McCain |
ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations. |
COORDINATION |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Herbert Wiklicky |
On Dynamical Probabilities, or: How to Learn to Shoot Straight. |
COORDINATION |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Vashti Galpin |
Modelling Ambulance Deployment with CarmaCARMA. |
COORDINATION |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Danilo Pianini, Jacob Beal, Mirko Viroli |
Improving Gossip Dynamics Through Overlapping Replicates. |
COORDINATION |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Franco Barbanera, Ugo de'Liguoro |
A Game Interpretation of Retractable Contracts. |
COORDINATION |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab |
Scheduling Games for Concurrent Systems. |
COORDINATION |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ludovic Henrio, Justine Rochas |
From Modelling to Systematic Deployment of Distributed Active Objects. |
COORDINATION |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mischael Schill, Christopher M. Poskitt, Bertrand Meyer 0001 |
An Interference-Free Programming Model for Network Objects. |
COORDINATION |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Lluch-Lafuente, José Proença (eds.) |
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 |
COORDINATION |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Hennicker, Michel Bidoit, Thanh-Son Dang |
On Synchronous and Asynchronous Compatibility of Communicating Components. |
COORDINATION |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Omicini, Giancarlo Fortino, Stefano Mariani 0001 |
Blending Event-Based and Multi-Agent Systems Around Coordination Abstractions. |
COORDINATION |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Malinda Kumarasinghe, Geeth Tharanga, Lasitha Weerasinghe, Ujitha Wickramarathna, Surangika Ranathunga |
VISIRI - Distributed Complex Event Processing System for Handling Large Number of Queries. |
COORDINATION |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Diego Latella, Michele Loreti, Mieke Massink |
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems. |
COORDINATION |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari |
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields. |
COORDINATION |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marina Andric, Rocco De Nicola, Alberto Lluch-Lafuente |
Replica-Based High-Performance Tuple Space Computing. |
COORDINATION |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Cruz-Mencia, Jesús Cerquides, Antonio Espinosa, Juan Carlos Moure, Juan Antonio Rodríguez-Aguilar |
Parallelisation and Application of AD 3 as a Method for Solving Large Scale Combinatorial Auctions. |
COORDINATION |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Xi Wu 0005, Ximeng Li 0001, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson |
Klaim-DB: A Modeling Language for Distributed Database Applications. |
COORDINATION |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Luca De Angelis, Giovanna Di Marzo Serugendo |
Logic Fragments: A Coordination Model Based on Logic Inference. |
COORDINATION |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sung-Shik T. Q. Jongmans, Farhad Arbab |
Take Command of Your Constraints! |
COORDINATION |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tom Holvoet, Mirko Viroli (eds.) |
Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings |
COORDINATION |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Gadducci, Francesco Santini 0001, Luis Fernando Pino, Frank D. Valencia |
A Labelled Semantics for Soft Concurrent Constraint Programming. |
COORDINATION |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Edmund Soon Lee Lam, Iliano Cervesato, Nabeeha Fatima |
Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles. |
COORDINATION |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro |
Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. |
COORDINATION |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Luca Padovani, Tzu-Chun Chen, Andrea Tosatto |
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi. |
COORDINATION |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Cranefield, Surangika Ranathunga |
Handling Agent Perception in Heterogeneous Distributed Systems: A Policy-Based Approach. |
COORDINATION |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marino Miculan, Marco Peressotti, Andrea Toneguzzo |
Open Transactions on Shared Memory. |
COORDINATION |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kebin Zeng, Flemming Nielson, Hanne Riis Nielson |
The Stochastic Quality Calculus. |
COORDINATION |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lenz Belzner |
Verifiable Decisions in Autonomous Concurrent Systems. |
COORDINATION |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mirko Viroli, Ferruccio Damiani |
A Calculus of Self-stabilising Computational Fields. |
COORDINATION |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sung-Shik T. Q. Jongmans, Sean Halle, Farhad Arbab |
Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms. |
COORDINATION |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rumyana Neykova, Nobuko Yoshida |
Multiparty Session Actors. |
COORDINATION |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Eva Kühn, Rosario Pugliese (eds.) |
Coordination Models and Languages - 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings |
COORDINATION |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale |
Encoding Synchronous Interactions Using Labelled Petri Nets. |
COORDINATION |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Julio Cano, Gwenaël Delaval, Éric Rutten |
Coordination of ECA Rules by Verification and Control. |
COORDINATION |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Morandi, Sebastian Nanz, Bertrand Meyer 0001 |
Safe and Efficient Data Sharing for Message-Passing Concurrency. |
COORDINATION |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marco Carbone, Ornela Dardha, Fabrizio Montesi |
Progress as Compositional Lock-Freedom. |
COORDINATION |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Luca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira |
Typing Liveness in Multiparty Communicating Systems. |
COORDINATION |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dimitris Mostrous, Vasco Thudichum Vasconcelos |
Affine Sessions. |
COORDINATION |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Maxime Louvel, François Pacull |
LINC: A Compact Yet Powerful Coordination Environment. |
COORDINATION |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Laure Philips, Dries Harnie, Kevin Pinte, Wolfgang De Meuter |
Event Loop Coordination Using Meta-programming. |
COORDINATION |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Soguy Mak Karé Gueye, Noel De Palma, Éric Rutten |
Component-Based Autonomic Managers for Coordination Control. |
COORDINATION |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos |
Coordinating Phased Activities while Maintaining Progress. |
COORDINATION |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Diego Latella, Mieke Massink |
Stochastic Process Algebra and Stability Analysis of Collective Systems. |
COORDINATION |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Cerone, Matthew Hennessy, Massimo Merro |
Modelling MAC-Layer Communications in Wireless Systems. |
COORDINATION |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rocco De Nicola, Christine Julien 0001 (eds.) |
Coordination Models and Languages, 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings |
COORDINATION |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Given-Wilson, Daniele Gorla |
Pattern Matching and Bisimulation. |
COORDINATION |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Torres Vieira, Vasco Thudichum Vasconcelos |
Typing Progress in Communication-Centred Systems. |
COORDINATION |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida |
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions. |
COORDINATION |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Junwhan Kim, Roberto Palmieri, Binoy Ravindran |
Scheduling Open-Nested Transactions in Distributed Transactional Memory. |
COORDINATION |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ludovic Henrio, Fabrice Huet, Zsolt István |
Multi-threaded Active Objects. |
COORDINATION |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Mariani 0001, Andrea Omicini |
Probabilistic Modular Embedding for Stochastic Coordinated Systems. |
COORDINATION |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Eva Kühn, Stefan Craß, Gerson Joskowicz, Alexander Marek, Thomas Scheller |
Peer-Based Programming Model for Coordination Patterns. |
COORDINATION |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Mohamedin, Binoy Ravindran, Roberto Palmieri |
ByteSTM: Virtual Machine-Level Java Software Transactional Memory. |
COORDINATION |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Guido Salvaneschi, Joscha Drechsler, Mira Mezini |
Towards Distributed Reactive Programming. |
COORDINATION |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Behrooz Nobakht, Frank S. de Boer, Mohammad Mahdi Jaghoori |
The Future of a Missed Deadline. |
COORDINATION |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Lanese, Gianluigi Zavattaro |
Decidability Results for Dynamic Installation of Compensation Handlers. |
COORDINATION |
2013 |
DBLP DOI BibTeX RDF |
|
1 | José Proença, Dave Clarke 0001 |
Interactive Interaction Constraints. |
COORDINATION |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Eline Philips, Jorge Vallejos, Ragnhild Van Der Straeten, Viviane Jonckers |
Group Orchestration in a Mobile Environment. |
COORDINATION |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Luigia Petre, Petter Sandvik, Kaisa Sere |
Node Coordination in Peer-to-Peer Networks. |
COORDINATION |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Peter Dinges, Gul Agha |
Scoped Synchronization Constraints for Large Scale Actor Systems. |
COORDINATION |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan Aman, Gabriel Ciobanu |
Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps. |
COORDINATION |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Bartoletti, Emilio Tuosto, Roberto Zunino |
On the Realizability of Contracts in Dishonest Systems. |
COORDINATION |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marko van Dooren, Dave Clarke 0001 |
Subobject Transactional Memory. |
COORDINATION |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Frederico Alvares de Oliveira Jr., Rémi Sharrock, Thomas Ledoux |
Synchronization of Multiple Autonomic Control Loops: Application to Cloud Computing. |
COORDINATION |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Dziwok, Christian Heinzemann, Matthias Tichy |
Real-Time Coordination Patterns for Advanced Mechatronic Systems. |
COORDINATION |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ramtin Khosravi, Hamideh Sabouri |
Using Coordinated Actors to Model Families of Distributed Systems. |
COORDINATION |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mirko Viroli, Danilo Pianini, Jacob Beal |
Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments. |
COORDINATION |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Davide Rossi |
A Social Software-Based Coordination Platform - Tool Paper. |
COORDINATION |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Vitaliy Liptchinsky, Roman Khazankin, Hong Linh Truong 0001, Schahram Dustdar |
Statelets: Coordination of Social Collaboration Processes. |
COORDINATION |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pierpaolo Degano, Gian-Luigi Ferrari 0002, Letterio Galletta, Gianluca Mezzetti |
Types for Coordinating Secure Behavioural Variations. |
COORDINATION |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michal Terepeta, Hanne Riis Nielson, Flemming Nielson |
Recursive Advice for Coordination. |
COORDINATION |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mieke Massink, Diego Latella |
Fluid Analysis of Foraging Ants. |
COORDINATION |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marjan Sirjani (eds.) |
Coordination Models and Languages - 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings |
COORDINATION |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Eva Kühn, Alexander Marek, Thomas Scheller, Vesna Sesum-Cavic, Michael Vögler, Stefan Craß |
A Space-Based Generic Pattern for Self-Initiative Load Clustering Agents. |
COORDINATION |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bruni, Carla Ferreira 0001, Anne Kersten Kauer |
First-Order Dynamic Logic for Compensable Processes. |
COORDINATION |
2012 |
DBLP DOI BibTeX RDF |
|