The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "COORDINATION"( http://dblp.L3S.de/Venues/COORDINATION )

URL (DBLP): http://dblp.uni-trier.de/db/conf/coordination

Publication years (Num. hits)
1996 (35) 1997 (32) 1999 (33) 2000 (28) 2002 (36) 2004 (24) 2005 (20) 2006 (19) 2007 (18) 2008 (22) 2009 (16) 2010-2011 (28) 2012 (19) 2013 (18) 2014-2015 (29) 2016 (17) 2017 (15) 2018 (13)
Publication types (Num. hits)
inproceedings(402) proceedings(20)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 42 occurrences of 39 keywords

Results
Found 422 publication records. Showing 422 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Kasper Dokter, Farhad Arbab Rule-Based Form for Stream Constraints. Search on Bibsonomy COORDINATION The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kiko Fernandez-Reyes, Dave Clarke 0001, Elias Castegren, Huu-Phuc Vo Forward to a Promising Future. Search on Bibsonomy COORDINATION The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mario Bravetti, Gianluigi Zavattaro Foundations of Coordination and Contracts and Their Contribution to Session Type Theory. Search on Bibsonomy COORDINATION The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giovanni Ciatto, Stefano Mariani 0001, Maxime Louvel, Andrea Omicini, Franco Zambonelli Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives. Search on Bibsonomy COORDINATION The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Linas Kaminskas, Alberto Lluch-Lafuente Aggregation Policies for Tuple Spaces. Search on Bibsonomy COORDINATION The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giovanna 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 Search on Bibsonomy COORDINATION The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gaétan Hains, Ludovic Henrio, Pierre Leca, Wijnand Suijlen Active Objects for Coordinating BSP Computations (Short Paper). Search on Bibsonomy COORDINATION The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Denis Darquennes, Jean-Marie Jacquet, Isabelle Linden On Multiplicities in Tuple-Based Coordination Languages: The Bach Family of Languages and Its Expressiveness Study. Search on Bibsonomy COORDINATION The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli Space-Time Universality of Field Calculus. Search on Bibsonomy COORDINATION The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pierre Sutra, Patrick Marlier, Valerio Schiavoni, François Trahay Boosting Transactional Memory with Stricter Serializability. Search on Bibsonomy COORDINATION The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese, Francesco Tiezzi A Formal Approach to the Engineering of Domain-Specific Distributed Systems. Search on Bibsonomy COORDINATION The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1eva Kühn, Sophie Therese Radschek, Nahla Elaraby Distributed Coordination Runtime Assertions for the Peer Model. Search on Bibsonomy COORDINATION The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini From Field-Based Coordination to Aggregate Computing. Search on Bibsonomy COORDINATION The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Simon Bliudze, Alena Simalatsar, Alina Zolotukhina Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies. Search on Bibsonomy COORDINATION The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Keigo Imai, Nobuko Yoshida, Shoji Yuen Session-ocaml: A Session-Based Library with Polarities and Lenses. Search on Bibsonomy COORDINATION The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Francisco Durán, Gwen Salaün Verifying Timed BPMN Processes Using Maude. Search on Bibsonomy COORDINATION The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani AErlang: Empowering Erlang with Attribute-Based Communication. Search on Bibsonomy COORDINATION The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Paolo Baldan, Alessandro Beggiato, Alberto Lluch-Lafuente Many-to-Many Information Flow Policies. Search on Bibsonomy COORDINATION The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Maurice H. ter Beek, Josep Carmona, Rolf Hennicker, Jetty Kleijn Communication Requirements for Team Automata. Search on Bibsonomy COORDINATION The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marco Krauweel, Sung-Shik T. Q. Jongmans Simpler Coordination of JavaScript Web Workers. Search on Bibsonomy COORDINATION The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fabio Gadducci, Hernán C. Melgratti, Christian Roldán A Denotational View of Replicated Data Types. Search on Bibsonomy COORDINATION The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Antonio Brogi, Andrea Canciani, Jacopo Soldani Modelling the Dynamic Reconfiguration of Application Topologies, Faults Included. Search on Bibsonomy COORDINATION The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Franco Barbanera, Ivan Lanese, Ugo de'Liguoro Retractable and Speculative Contracts. Search on Bibsonomy COORDINATION The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Giorgio Audrito, Ferruccio Damiani, Mirko Viroli Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed. Search on Bibsonomy COORDINATION The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Maxime Louvel, François Pacull, Éric Rutten, Adja Ndeye Sylla Development Tools for Rule-Based Coordination Programming in LINC. Search on Bibsonomy COORDINATION The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Giovanna Di Marzo Serugendo Spatial Edge Services - From Coordination Model to Actual Applications. Search on Bibsonomy COORDINATION The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jean-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 Search on Bibsonomy COORDINATION The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Giovanni Bernardi 0001, Adrian Francalanza Full-Abstraction for Must Testing Preorders - (Extended Abstract). Search on Bibsonomy COORDINATION The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vashti Galpin Modelling Ambulance Deployment with CarmaCARMA. Search on Bibsonomy COORDINATION The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kiko Fernandez-Reyes, Dave Clarke 0001, Daniel S. McCain ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations. Search on Bibsonomy COORDINATION The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini On Sessions and Infinite Data. Search on Bibsonomy COORDINATION The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Franco Barbanera, Ugo de'Liguoro A Game Interpretation of Retractable Contracts. Search on Bibsonomy COORDINATION The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hernán C. Melgratti, Christian Roldán A Formal Analysis of the Global Sequence Protocol. Search on Bibsonomy COORDINATION The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mischael Schill, Christopher M. Poskitt, Bertrand Meyer 0001 An Interference-Free Programming Model for Network Objects. Search on Bibsonomy COORDINATION The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina Tuple Spaces Implementations and Their Efficiency. Search on Bibsonomy COORDINATION The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ludovic Henrio, Justine Rochas From Modelling to Systematic Deployment of Distributed Active Objects. Search on Bibsonomy COORDINATION The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab Scheduling Games for Concurrent Systems. Search on Bibsonomy COORDINATION The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Vincenzo Ciancia, Diego Latella, Mieke Massink On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination. Search on Bibsonomy COORDINATION The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ruggero Lanotte, Massimo Merro A Semantic Theory of the Internet of Things - (Extended Abstract). Search on Bibsonomy COORDINATION The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alberto 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 Search on Bibsonomy COORDINATION The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Paolo Baldan, Alessandro Beggiato Multilevel Transitive and Intransitive Non-interference, Causally. Search on Bibsonomy COORDINATION The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rolf Hennicker, Michel Bidoit, Thanh-Son Dang On Synchronous and Asynchronous Compatibility of Communicating Components. Search on Bibsonomy COORDINATION The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Herbert Wiklicky On Dynamical Probabilities, or: How to Learn to Shoot Straight. Search on Bibsonomy COORDINATION The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta Where Do Your IoT Ingredients Come From? Search on Bibsonomy COORDINATION The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Danilo Pianini, Jacob Beal, Mirko Viroli Improving Gossip Dynamics Through Overlapping Replicates. Search on Bibsonomy COORDINATION The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stephen Cranefield, Surangika Ranathunga Handling Agent Perception in Heterogeneous Distributed Systems: A Policy-Based Approach. Search on Bibsonomy COORDINATION The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Andrea Omicini, Giancarlo Fortino, Stefano Mariani 0001 Blending Event-Based and Multi-Agent Systems Around Coordination Abstractions. Search on Bibsonomy COORDINATION The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Fabio Gadducci, Francesco Santini 0001, Luis Fernando Pino, Frank D. Valencia A Labelled Semantics for Soft Concurrent Constraint Programming. Search on Bibsonomy COORDINATION The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Luca Padovani, Tzu-Chun Chen, Andrea Tosatto Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi. Search on Bibsonomy COORDINATION The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Francisco 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. Search on Bibsonomy COORDINATION The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari A Fixpoint-Based Calculus for Graph-Shaped Computational Fields. Search on Bibsonomy COORDINATION The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Edmund Soon Lee Lam, Iliano Cervesato, Nabeeha Fatima Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles. Search on Bibsonomy COORDINATION The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Xi Wu 0001, Ximeng Li 0001, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson Klaim-DB: A Modeling Language for Distributed Database Applications. Search on Bibsonomy COORDINATION The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. Search on Bibsonomy COORDINATION The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marina Andric, Rocco De Nicola, Alberto Lluch-Lafuente Replica-Based High-Performance Tuple Space Computing. Search on Bibsonomy COORDINATION The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Francesco Luca De Angelis, Giovanna Di Marzo Serugendo Logic Fragments: A Coordination Model Based on Logic Inference. Search on Bibsonomy COORDINATION The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sung-Shik T. Q. Jongmans, Farhad Arbab Take Command of Your Constraints! Search on Bibsonomy COORDINATION The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Malinda Kumarasinghe, Geeth Tharanga, Lasitha Weerasinghe, Ujitha Wickramarathna, Surangika Ranathunga VISIRI - Distributed Complex Event Processing System for Handling Large Number of Queries. Search on Bibsonomy COORDINATION The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tom 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 Search on Bibsonomy COORDINATION The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Diego Latella, Michele Loreti, Mieke Massink Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems. Search on Bibsonomy COORDINATION The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marino Miculan, Marco Peressotti, Andrea Toneguzzo Open Transactions on Shared Memory. Search on Bibsonomy COORDINATION The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sung-Shik T. Q. Jongmans, Sean Halle, Farhad Arbab Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms. Search on Bibsonomy COORDINATION The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mirko Viroli, Ferruccio Damiani A Calculus of Self-stabilising Computational Fields. Search on Bibsonomy COORDINATION The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale Encoding Synchronous Interactions Using Labelled Petri Nets. Search on Bibsonomy COORDINATION The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Lenz Belzner Verifiable Decisions in Autonomous Concurrent Systems. Search on Bibsonomy COORDINATION The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Julio Cano, Gwenaël Delaval, Éric Rutten Coordination of ECA Rules by Verification and Control. Search on Bibsonomy COORDINATION The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Benjamin Morandi, Sebastian Nanz, Bertrand Meyer 0001 Safe and Efficient Data Sharing for Message-Passing Concurrency. Search on Bibsonomy COORDINATION The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dimitris Mostrous, Vasco Thudichum Vasconcelos Affine Sessions. Search on Bibsonomy COORDINATION The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Kebin Zeng, Flemming Nielson, Hanne Riis Nielson The Stochastic Quality Calculus. Search on Bibsonomy COORDINATION The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Rumyana Neykova, Nobuko Yoshida Multiparty Session Actors. Search on Bibsonomy COORDINATION The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Maxime Louvel, François Pacull LINC: A Compact Yet Powerful Coordination Environment. Search on Bibsonomy COORDINATION The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Luca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira Typing Liveness in Multiparty Communicating Systems. Search on Bibsonomy COORDINATION The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1eva 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 Search on Bibsonomy COORDINATION The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marco Carbone, Ornela Dardha, Fabrizio Montesi Progress as Compositional Lock-Freedom. Search on Bibsonomy COORDINATION The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos Coordinating Phased Activities while Maintaining Progress. Search on Bibsonomy COORDINATION The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1eva Kühn, Stefan Craß, Gerson Joskowicz, Alexander Marek, Thomas Scheller Peer-Based Programming Model for Coordination Patterns. Search on Bibsonomy COORDINATION The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions. Search on Bibsonomy COORDINATION The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Guido Salvaneschi, Joscha Drechsler, Mira Mezini Towards Distributed Reactive Programming. Search on Bibsonomy COORDINATION The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1José Proença, Dave Clarke 0001 Interactive Interaction Constraints. Search on Bibsonomy COORDINATION The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Behrooz Nobakht, Frank S. de Boer, Mohammad Mahdi Jaghoori The Future of a Missed Deadline. Search on Bibsonomy COORDINATION The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hugo Torres Vieira, Vasco Thudichum Vasconcelos Typing Progress in Communication-Centred Systems. Search on Bibsonomy COORDINATION The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Soguy Mak Karé Gueye, Noel De Palma, Éric Rutten Component-Based Autonomic Managers for Coordination Control. Search on Bibsonomy COORDINATION The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Laure Philips, Dries Harnie, Kevin Pinte, Wolfgang De Meuter Event Loop Coordination Using Meta-programming. Search on Bibsonomy COORDINATION The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ludovic Henrio, Fabrice Huet, Zsolt István Multi-threaded Active Objects. Search on Bibsonomy COORDINATION The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Andrea Cerone, Matthew Hennessy, Massimo Merro Modelling MAC-Layer Communications in Wireless Systems. Search on Bibsonomy COORDINATION The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ivan Lanese, Gianluigi Zavattaro Decidability Results for Dynamic Installation of Compensation Handlers. Search on Bibsonomy COORDINATION The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Stefano Mariani 0001, Andrea Omicini Probabilistic Modular Embedding for Stochastic Coordinated Systems. Search on Bibsonomy COORDINATION The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Luca Bortolussi, Diego Latella, Mieke Massink Stochastic Process Algebra and Stability Analysis of Collective Systems. Search on Bibsonomy COORDINATION The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Junwhan Kim, Roberto Palmieri, Binoy Ravindran Scheduling Open-Nested Transactions in Distributed Transactional Memory. Search on Bibsonomy COORDINATION The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Thomas Given-Wilson, Daniele Gorla Pattern Matching and Bisimulation. Search on Bibsonomy COORDINATION The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mohamed Mohamedin, Binoy Ravindran, Roberto Palmieri ByteSTM: Virtual Machine-Level Java Software Transactional Memory. Search on Bibsonomy COORDINATION The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Rocco 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 Search on Bibsonomy COORDINATION The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Dave Clarke 0001, José Proença Partial Connector Colouring. Search on Bibsonomy COORDINATION The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Vitaliy Liptchinsky, Roman Khazankin, Hong Linh Truong, Schahram Dustdar Statelets: Coordination of Social Collaboration Processes. Search on Bibsonomy COORDINATION The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ramtin Khosravi, Hamideh Sabouri Using Coordinated Actors to Model Families of Distributed Systems. Search on Bibsonomy COORDINATION The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Roberto Bruni, Carla Ferreira 0001, Anne Kersten Kauer First-Order Dynamic Logic for Compensable Processes. Search on Bibsonomy COORDINATION The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Davide Rossi A Social Software-Based Coordination Platform - Tool Paper. Search on Bibsonomy COORDINATION The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mirko Viroli, Danilo Pianini, Jacob Beal Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments. Search on Bibsonomy COORDINATION The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marjan Sirjani (eds.) Coordination Models and Languages - 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings Search on Bibsonomy COORDINATION The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Massimo Bartoletti, Emilio Tuosto, Roberto Zunino On the Realizability of Contracts in Dishonest Systems. Search on Bibsonomy COORDINATION The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 422 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license