Search results for "Coordination"

Hits ?▲	Authors	Title	Venue	Year	Link
31	Leandro Galrinho, João Costa Seco, Søren Debois, Thomas T. Hildebrandt, Håkon Normann, Tijs Slaats	ReGraDa: Reactive Graph Data.	COORDINATION	2021	DBLP DOI BibTeX RDF
31	Riccardo Bianchini, Francesco Dagnino	Asynchronous Global Types in Co-logic Programming.	COORDINATION	2021	DBLP DOI BibTeX RDF
31	Simon Bliudze, Laura Bocchi (eds.)	Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings	COORDINATION	2020	DBLP DOI BibTeX RDF
31	Anthony M. Jarc, Ilana Nisky	Application and Exploration of Sensorimotor Coordination Strategies in Surgical Robotics.	Metrics of Sensory Motor Coordination and Integration in Robots and Animals	2020	DBLP DOI BibTeX RDF
31	Fabio Bonsignorio	Entropy Based Metrics of Sensory Motor Coordination - A Short Survey.	Metrics of Sensory Motor Coordination and Integration in Robots and Animals	2020	DBLP DOI BibTeX RDF
31	Alex Coto, Roberto Guanciale, Emilio Tuosto	Choreographic Development of Message-Passing Applications - A Tutorial.	COORDINATION	2020	DBLP DOI BibTeX RDF
31	Espen Tønnessen Nordli, Phu Hong Nguyen, Franck Chauvel, Hui Song	Event-Based Customization of Multi-tenant SaaS Using Microservices.	COORDINATION	2020	DBLP DOI BibTeX RDF
31	Nicolas Gast, Diego Latella, Mieke Massink	Refined Mean Field Analysis: The Gossip Shuffle Protocol Revisited.	COORDINATION	2020	DBLP DOI BibTeX RDF
31	Leonardo Frittelli, Facundo Maldonado, Hernán C. Melgratti, Emilio Tuosto	A Choreography-Driven Approach to APIs: The OpenDXL Case Study.	COORDINATION	2020	DBLP DOI BibTeX RDF
31	Massimo Bartoletti, Maurizio Murgia 0001, Roberto Zunino	Renegotiation and Recursion in Bitcoin Contracts.	COORDINATION	2020	DBLP DOI BibTeX RDF
31	Agustín Eloy Martinez Suñé, Carlos Gustavo López Pombo	Quality of Service Ranking by Quantifying Partial Compliance of Requirements.	COORDINATION	2020	DBLP DOI BibTeX RDF
31	Massimo Bartoletti, Letterio Galletta, Maurizio Murgia 0001	A True Concurrent Model of Smart Contracts Executions.	COORDINATION	2020	DBLP DOI BibTeX RDF
31	Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn	Team Automata@Work: On Safe Communication.	COORDINATION	2020	DBLP DOI BibTeX RDF
31	José Proença, Guillermina Cledou	ARx: Reactive Programming for Synchronous Connectors.	COORDINATION	2020	DBLP DOI BibTeX RDF
31	Luca Di Stefano 0001, Frédéric Lang, Wendelin Serwe	Combining SLiVER with CADP to Analyze Multi-agent Systems.	COORDINATION	2020	DBLP DOI BibTeX RDF
31	Adrian Francalanza, Jasmine Xuereb	On Implementing Symbolic Controllability.	COORDINATION	2020	DBLP DOI BibTeX RDF
31	Xiyue Zhang, Yi Li, Meng Sun 0002	Towards a Formally Verified EVM in Production Environment.	COORDINATION	2020	DBLP DOI BibTeX RDF
31	Maria Pittou, George Rahonis	Architecture Modelling of Parametric Component-Based Systems.	COORDINATION	2020	DBLP DOI BibTeX RDF
31	Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli	Resilient Distributed Collection Through Information Speed Thresholds.	COORDINATION	2020	DBLP DOI BibTeX RDF
31	Marco Autili, Amleto Di Salle, Claudio Pompilio, Massimo Tivoli	CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems.	COORDINATION	2020	DBLP DOI BibTeX RDF
31	Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida	Implementing Multiparty Session Types in Rust.	COORDINATION	2020	DBLP DOI BibTeX RDF
31	Marco Giunti	GoPi: Compiling Linear and Static Channels in Go.	COORDINATION	2020	DBLP DOI BibTeX RDF
31	G. Michele Pinna	Operational Representation of Dependencies in Context-Dependent Event Structures.	COORDINATION	2020	DBLP DOI BibTeX RDF
31	Mahsa Zarneshan, Fatemeh Ghassemi, Marjan Sirjani	Formal Modeling and Analysis of Medical Systems.	COORDINATION	2020	DBLP DOI BibTeX RDF
31	Franco Barbanera, Ivan Lanese, Emilio Tuosto	Choreography Automata.	COORDINATION	2020	DBLP DOI BibTeX RDF
31	Artem Usov, Ornela Dardha	SFJ: An Implementation of Semantic Featherweight Java.	COORDINATION	2020	DBLP DOI BibTeX RDF
31	Vagia Karyoti, Paulina Paraponiari	Weighted PCL over Product Valuation Monoids.	COORDINATION	2020	DBLP DOI BibTeX RDF
31	Hanne Riis Nielson, Emilio Tuosto (eds.)	Coordination Models and Languages - 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings	COORDINATION	2019	DBLP DOI BibTeX RDF
31	Agustín E. Martinez Suñé, Carlos Gustavo López Pombo	Automatic Quality-of-Service Evaluation in Service-Oriented Computing.	COORDINATION	2019	DBLP DOI BibTeX RDF
31	G. Michele Pinna	Representing Dependencies in Event Structures.	COORDINATION	2019	DBLP DOI BibTeX RDF
31	Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli	CHOReVOLUTION: Automating the Realization of Highly-Collaborative Distributed Applications.	COORDINATION	2019	DBLP DOI BibTeX RDF
31	Hernán C. Melgratti, Claudio Antares Mezzina, Irek Ulidowski	Reversing P/T Nets.	COORDINATION	2019	DBLP DOI BibTeX RDF
31	Roberto Guanciale	DiRPOMS: Automatic Checker of Distributed Realizability of POMSets.	COORDINATION	2019	DBLP DOI BibTeX RDF
31	Wen Kokke, J. Garrett Morris, Philip Wadler	Towards Races in Linear Logic.	COORDINATION	2019	DBLP DOI BibTeX RDF
31	Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro	No More, No Less - A Formal Model for Serverless Computing.	COORDINATION	2019	DBLP DOI BibTeX RDF
31	Simon Bliudze, Ludovic Henrio, Eric Madelaine	Verification of Concurrent Design Patterns with Data.	COORDINATION	2019	DBLP DOI BibTeX RDF
31	Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani	Aggregate Processes in Field Calculus.	COORDINATION	2019	DBLP DOI BibTeX RDF
31	Rocco De Nicola, Tan Duong, Michele Loreti	ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication.	COORDINATION	2019	DBLP DOI BibTeX RDF
31	Giovanna Di Marzo Serugendo, Michele Loreti (eds.)	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	COORDINATION	2018	DBLP DOI BibTeX RDF
31	Leendert W. N. van der Torre, Tjitze Rienstra, Dov M. Gabbay	Argumentation as Exogenous Coordination.	It's All About Coordination	2018	DBLP DOI BibTeX RDF
31	Christel Baier, Philipp Chrszon, Clemens Dubslaff, Joachim Klein 0001, Sascha Klüppelholz	Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination.	It's All About Coordination	2018	DBLP DOI BibTeX RDF
31	Jean-Marie Jacquet, Isabelle Linden, Denis Darquennes	On the Relation Between Control-Based and Data-Based Coordination Languages.	It's All About Coordination	2018	DBLP DOI BibTeX RDF
31	Kiko Fernandez-Reyes, Dave Clarke 0001, Elias Castegren, Huu-Phuc Vo	Forward to a Promising Future.	COORDINATION	2018	DBLP DOI BibTeX RDF
31	Gaétan Hains, Ludovic Henrio, Pierre Leca, Wijnand Suijlen	Active Objects for Coordinating BSP Computations (Short Paper).	COORDINATION	2018	DBLP DOI BibTeX RDF
31	Linas Kaminskas, Alberto Lluch-Lafuente	Aggregation Policies for Tuple Spaces.	COORDINATION	2018	DBLP DOI BibTeX RDF
31	Pierre Sutra, Patrick Marlier, Valerio Schiavoni, François Trahay	Boosting Transactional Memory with Stricter Serializability.	COORDINATION	2018	DBLP DOI BibTeX RDF
31	Kasper Dokter, Farhad Arbab	Rule-Based Form for Stream Constraints.	COORDINATION	2018	DBLP DOI BibTeX RDF
31	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
31	Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli	Space-Time Universality of Field Calculus.	COORDINATION	2018	DBLP DOI BibTeX RDF
31	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
31	Simon Bliudze, Alena Simalatsar, Alina Zolotukhina	Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies.	COORDINATION	2017	DBLP DOI BibTeX RDF
31	Paolo Baldan, Alessandro Beggiato, Alberto Lluch-Lafuente	Many-to-Many Information Flow Policies.	COORDINATION	2017	DBLP DOI BibTeX RDF
31	Francisco Durán 0001, Gwen Salaün	Verifying Timed BPMN Processes Using Maude.	COORDINATION	2017	DBLP DOI BibTeX RDF
31	Antonio Brogi, Andrea Canciani, Jacopo Soldani	Modelling the Dynamic Reconfiguration of Application Topologies, Faults Included.	COORDINATION	2017	DBLP DOI BibTeX RDF
31	Giovanni Bernardi 0001, Adrian Francalanza	Full-Abstraction for Must Testing Preorders - (Extended Abstract).	COORDINATION	2017	DBLP DOI BibTeX RDF
31	Keigo Imai, Nobuko Yoshida, Shoji Yuen	Session-ocaml: A Session-Based Library with Polarities and Lenses.	COORDINATION	2017	DBLP DOI BibTeX RDF
31	Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani	AErlang: Empowering Erlang with Attribute-Based Communication.	COORDINATION	2017	DBLP DOI BibTeX RDF
31	Franco Barbanera, Ivan Lanese, Ugo de'Liguoro	Retractable and Speculative Contracts.	COORDINATION	2017	DBLP DOI BibTeX RDF
31	Fabio Gadducci, Hernán C. Melgratti, Christian Roldán	A Denotational View of Replicated Data Types.	COORDINATION	2017	DBLP DOI BibTeX RDF
31	Maurice H. ter Beek, Josep Carmona 0001, Rolf Hennicker, Jetty Kleijn	Communication Requirements for Team Automata.	COORDINATION	2017	DBLP DOI BibTeX RDF
31	Giorgio Audrito, Ferruccio Damiani, Mirko Viroli	Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed.	COORDINATION	2017	DBLP DOI BibTeX RDF
31	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
31	Trevor Sarratt, Arnav Jhala	Policy Communication for Coordination with Unknown Teammates.	AAAI Workshop: Multiagent Interaction without Prior Coordination	2016	DBLP BibTeX RDF
31	Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini	On Sessions and Infinite Data.	COORDINATION	2016	DBLP DOI BibTeX RDF
31	Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Letterio Galletta	Where Do Your IoT Ingredients Come From?	COORDINATION	2016	DBLP DOI BibTeX RDF
31	Paolo Baldan, Alessandro Beggiato	Multilevel Transitive and Intransitive Non-interference, Causally.	COORDINATION	2016	DBLP DOI BibTeX RDF
31	Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina	Tuple Spaces Implementations and Their Efficiency.	COORDINATION	2016	DBLP DOI BibTeX RDF
31	Hernán C. Melgratti, Christian Roldán	A Formal Analysis of the Global Sequence Protocol.	COORDINATION	2016	DBLP DOI BibTeX RDF
31	Ruggero Lanotte, Massimo Merro	A Semantic Theory of the Internet of Things - (Extended Abstract).	COORDINATION	2016	DBLP DOI BibTeX RDF
31	Kiko Fernandez-Reyes, Dave Clarke 0001, Daniel S. McCain	ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations.	COORDINATION	2016	DBLP DOI BibTeX RDF
31	Herbert Wiklicky	On Dynamical Probabilities, or: How to Learn to Shoot Straight.	COORDINATION	2016	DBLP DOI BibTeX RDF
31	Vashti Galpin	Modelling Ambulance Deployment with CarmaCARMA.	COORDINATION	2016	DBLP DOI BibTeX RDF
31	Danilo Pianini, Jacob Beal, Mirko Viroli	Improving Gossip Dynamics Through Overlapping Replicates.	COORDINATION	2016	DBLP DOI BibTeX RDF
31	Franco Barbanera, Ugo de'Liguoro	A Game Interpretation of Retractable Contracts.	COORDINATION	2016	DBLP DOI BibTeX RDF
31	Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab	Scheduling Games for Concurrent Systems.	COORDINATION	2016	DBLP DOI BibTeX RDF
31	Ludovic Henrio, Justine Rochas	From Modelling to Systematic Deployment of Distributed Active Objects.	COORDINATION	2016	DBLP DOI BibTeX RDF
31	Mischael Schill, Christopher M. Poskitt, Bertrand Meyer 0001	An Interference-Free Programming Model for Network Objects.	COORDINATION	2016	DBLP DOI BibTeX RDF
31	Rolf Hennicker, Michel Bidoit, Thanh-Son Dang	On Synchronous and Asynchronous Compatibility of Communicating Components.	COORDINATION	2016	DBLP DOI BibTeX RDF
31	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
31	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
31	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
31	Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari	A Fixpoint-Based Calculus for Graph-Shaped Computational Fields.	COORDINATION	2015	DBLP DOI BibTeX RDF
31	Marina Andric, Rocco De Nicola, Alberto Lluch-Lafuente	Replica-Based High-Performance Tuple Space Computing.	COORDINATION	2015	DBLP DOI BibTeX RDF
31	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
31	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
31	Sung-Shik T. Q. Jongmans, Farhad Arbab	Take Command of Your Constraints!	COORDINATION	2015	DBLP DOI BibTeX RDF
31	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
31	Edmund Soon Lee Lam, Iliano Cervesato, Nabeeha Fatima	Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles.	COORDINATION	2015	DBLP DOI BibTeX RDF
31	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
31	Luca Padovani, Tzu-Chun Chen, Andrea Tosatto	Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi.	COORDINATION	2015	DBLP DOI BibTeX RDF
31	Stephen Cranefield, Surangika Ranathunga	Handling Agent Perception in Heterogeneous Distributed Systems: A Policy-Based Approach.	COORDINATION	2015	DBLP DOI BibTeX RDF
31	Marino Miculan, Marco Peressotti, Andrea Toneguzzo	Open Transactions on Shared Memory.	COORDINATION	2015	DBLP DOI BibTeX RDF
31	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
31	Kebin Zeng, Flemming Nielson, Hanne Riis Nielson	The Stochastic Quality Calculus.	COORDINATION	2014	DBLP DOI BibTeX RDF
31	Lenz Belzner	Verifiable Decisions in Autonomous Concurrent Systems.	COORDINATION	2014	DBLP DOI BibTeX RDF
31	Mirko Viroli, Ferruccio Damiani	A Calculus of Self-stabilising Computational Fields.	COORDINATION	2014	DBLP DOI BibTeX RDF
31	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
31	Rumyana Neykova, Nobuko Yoshida	Multiparty Session Actors.	COORDINATION	2014	DBLP DOI BibTeX RDF
31	Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale	Encoding Synchronous Interactions Using Labelled Petri Nets.	COORDINATION	2014	DBLP DOI BibTeX RDF
31	Benjamin Morandi, Sebastian Nanz, Bertrand Meyer 0001	Safe and Efficient Data Sharing for Message-Passing Concurrency.	COORDINATION	2014	DBLP DOI BibTeX RDF