Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Dave Clarke 0001, José Proença |
Partial Connector Colouring. |
COORDINATION |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Moritz Kleine |
CSP as a Coordination Language. |
COORDINATION |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang De Meuter, Gruia-Catalin Roman (eds.) |
Coordination Models and Languages - 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings |
COORDINATION |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro |
Fault in the Future. |
COORDINATION |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dimitris Mostrous, Vasco Thudichum Vasconcelos |
Session Typing for a Featherweight Erlang. |
COORDINATION |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Chrétien Verhoef, Christian Krause 0001, Oscar Kanters, Rob van der Mei |
Simulation-Based Performance Analysis of Channel-Based Coordination Models. |
COORDINATION |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Fan Yang, Tomoyuki Aotani, Hidehiko Masuhara, Flemming Nielson, Hanne Riis Nielson |
Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces. |
COORDINATION |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jacopo Mauro, Maurizio Gabbrielli, Claudio Guidi, Fabrizio Montesi |
An Efficient Management of Correlation Sets with Broadcast. |
COORDINATION |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Pinte, Dries Harnie, Theo D'Hondt |
Enabling Cross-Technology Mobile Applications with Network-Aware References. |
COORDINATION |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christine Julien 0001 |
The Context of Coordinating Groups in Dynamic Mobile Networks. |
COORDINATION |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Luca Padovani |
Fair Subtyping for Multi-party Session Types. |
COORDINATION |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Seiji Umatani, Masahiro Yasugi, Taiichi Yuasa |
Abstract Machines for Safe Ambients in Wide-Area and Mobile Networks. |
COORDINATION |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Ng, Nobuko Yoshida, Olivier Pernet, Raymond Hu, Yiannos Kryftis |
Safe Parallel Programming with Session Java. |
COORDINATION |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau |
Coordination and Concurrency in Multi-engine Prolog. |
COORDINATION |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sung-Shik T. Q. Jongmans, Christian Krause 0001, Farhad Arbab |
Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models. |
COORDINATION |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Cinzia Di Giusto, Jean-Bernard Stefani |
Revisiting Glue Expressiveness in Component-Based Systems. |
COORDINATION |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Hubert Plociniczak, Susan Eisenbach |
JErlang: Erlang with Joins. |
COORDINATION |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Eline Philips, Ragnhild Van Der Straeten, Viviane Jonckers |
NOW: A Workflow Language for Orchestration in Nomadic Networks. |
COORDINATION |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andoni Lombide Carreton, Theo D'Hondt |
A Hybrid Visual Dataflow Language for Coordination in Mobile Ad Hoc Networks. |
COORDINATION |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu 0001 |
Coordinating Resource Usage through Adaptive Service Provisioning in Wireless Sensor Networks. |
COORDINATION |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Calzolai, Michele Loreti |
Simulation and Analysis of Distributed Systems in Klaim. |
COORDINATION |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Bettini, Ferruccio Damiani, Marco De Luca, Kathrin Geilmann, Jan Schäfer 0002 |
A Calculus for Boxes and Traits in a Java-Like Setting. |
COORDINATION |
2010 |
DBLP DOI BibTeX RDF |
|
1 | K. C. Sivaramakrishnan, Karthik Nagaraj, Lukasz Ziarek, Patrick Eugster |
Efficient Session Type Guided Distributed Interaction. |
COORDINATION |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Lucia Acciai, Michele Boreale, Gianluigi Zavattaro |
Behavioural Contracts with Request-Response Operations. |
COORDINATION |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Somsak Vanit-Anunchai |
Modelling Railway Interlocking Tables Using Coloured Petri Nets. |
COORDINATION |
2010 |
DBLP DOI BibTeX RDF |
|
1 | K. R. Jayaram, Patrick Th. Eugster |
Scalable Efficient Composite Event Detection. |
COORDINATION |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stephanie Kemper |
Compositional Construction of Real-Time Dataflow Networks. |
COORDINATION |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jens Chr. Godskesen |
Observables for Mobile and Wireless Broadcasting Systems. |
COORDINATION |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Dave Clarke 0001, Gul A. Agha (eds.) |
Coordination Models and Languages, 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings |
COORDINATION |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Liliana D'Errico, Michele Loreti |
Assume-Guarantee Verification of Concurrent Systems. |
COORDINATION |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Farhad Arbab, Tom Chothia, Rob van der Mei, Sun Meng, Young-Joo Moon 0001, Chrétien Verhoef |
From Coordination to Stochastic Models of QoS. |
COORDINATION |
2009 |
DBLP DOI BibTeX RDF |
Performance evaluation, Markov Chains, Coordination language, Reo |
1 | Mirko Viroli, Matteo Casadei |
Biochemical Tuple Spaces for Self-organising Coordination. |
COORDINATION |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu 0001 |
Enhanced Coordination in Sensor Networks through Flexible Service Provisioning. |
COORDINATION |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Bjørn Haagensen, Hans Hüttel |
Parametrised Constants and Replication for Spatial Mobility. |
COORDINATION |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jens Chr. Godskesen, Sebastian Nanz |
Mobility Models and Behavioural Equivalence for Wireless Networks. |
COORDINATION |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Marcello M. Bonsangue, Dave Clarke 0001, Alexandra Silva 0001 |
Automata for Context-Dependent Connectors. |
COORDINATION |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Tobias Blechmann 0001, Joachim Klein 0001, Sascha Klüppelholz |
A Uniform Framework for Modeling and Verifying Components and Connectors. |
COORDINATION |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Abdessamad Imine |
Coordination Model for Real-Time Collaborative Editors. |
COORDINATION |
2009 |
DBLP DOI BibTeX RDF |
Consistency, Operational Transformation, Optimistic replication, Real-time collaboration, Collaborative editors |
1 | John Field, Vasco Thudichum Vasconcelos (eds.) |
Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings |
COORDINATION |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Armand Navabi, Suresh Jagannathan |
Exceptionally Safe Futures. |
COORDINATION |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Serrano |
Hop, a Fast Server for the Diffuse Web. |
COORDINATION |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Carl G. Ritson, Adam T. Sampson, Fred R. M. Barnes |
Multicore Scheduling for Lightweight Communicating Processes. |
COORDINATION |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Tayeb Bouhadiba, Florence Maraninchi |
Contract-Based Coordination of Hardware Components for the Development of Embedded Software. |
COORDINATION |
2009 |
DBLP DOI BibTeX RDF |
Executable Contracts, Embedded Systems, Components, Simulation Models, Hardware/Software Interface |
1 | Alexis Petrounias, Susan Eisenbach |
Fairness for Chorded Languages. |
COORDINATION |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Cunei, Rachid Guerraoui, Jesper Honig Spring, Jean Privat, Jan Vitek |
High-Performance Transactional Event Processing. |
COORDINATION |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Anu Singh, C. R. Ramakrishnan 0001, Scott A. Smolka |
A Process Calculus for Mobile Ad Hoc Networks. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Haller, Tom Van Cutsem |
Implementing Joins Using Extensible Pattern Matching. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
Join Patterns, Concurrent Programming, Actors, Chords |
1 | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi 0001 |
A Formal Account of WS-BPEL. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini 0001 |
Timed Soft Concurrent Constraint Programs. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo Gaetano Mezzina |
How to Infer Finite Session Types in a Calculus of Services and Sessions. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Rohan Sen, Gruia-Catalin Roman, Christopher D. Gill |
CiAN: A Workflow Engine for MANETs. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bruni, Ivan Lanese, Hernán C. Melgratti, Emilio Tuosto |
Multiparty Sessions in SOC. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, Hamed Iravanchi |
Modeling and Analysis of Reo Connectors Using Alloy. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Bettini, Rocco De Nicola, Michele Loreti |
Implementing Session Centered Calculi. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese |
From Flow Logic to Static Type Systems for Coordination Languages. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mikkel Bundgaard, Arne J. Glenstrup, Thomas T. Hildebrandt, Espen Højsgaard, Henning Niss |
Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Angel Núñez, Jacques Noyé |
An Event-Based Coordination Model for Context-Aware Applications. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Chris Hankin, Flemming Nielson, Hanne Riis Nielson, Fan Yang |
Advice for Coordination. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Doug Lea, Gianluigi Zavattaro (eds.) |
Coordination Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Martin Sulzmann, Edmund S. L. Lam, Peter Van Weert |
Actors with Multi-headed Message Receive Patterns. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Dimitrios Vardoulakis, Mitchell Wand |
A Compositional Trace Semantics for Orc. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Davide Prandi, Paola Quaglia, Nicola Zannone |
Formal Analysis of BPMN Via a Translation into COWS. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Karthikeyan Bhargavan, Andrew D. Gordon 0001, Iman Narasamdya |
Service Combinators for Farming Virtual Machines. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Fantechi, Elie Najm |
Session Types for Orchestration Charts. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sascha Klüppelholz, Christel Baier |
Alternating-Time Stream Logic for Multi-agent Systems. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
1 | João Abreu, José Luiz Fiadeiro |
A Coordination Model for Service-Oriented Interactions. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Russello, Changyu Dong, Naranker Dulay, Michel R. V. Chaudron, Maarten van Steen |
Encrypted Shared Data Spaces. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Elena Simperl, Reto Krummenacher, Lyndon J. B. Nixon |
A Coordination Model for Triplespace Computing. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Marie Jacquet, Isabelle Linden |
Towards a Theory of Refinement in Timed Coordination Languages. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Pamela Zave |
Requirements for Routing in the Application Layer. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Tom Van Cutsem, Jessie Dedecker, Wolfgang De Meuter |
Object-Oriented Coordination in Mobile Ad Hoc Networks. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Javier Cubo, Gwen Salaün, Javier Cámara, Carlos Canal, Ernesto Pimentel 0001 |
Context-Based Adaptation of Component Behavioural Interfaces. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Amy L. Murphy, Jan Vitek (eds.) |
Coordination Models and Languages, 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Mario Bravetti, Gianluigi Zavattaro |
A Theory for Strong Service Compliance. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu |
Generalized Committed Choice. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
1 | John Field, Maria-Cristina V. Marinescu, Christian Stefansen |
Reactors: A Data-Oriented Synchronous/Asynchronous Programming Model for Distributed Applications. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Stijn Mostinckx, Christophe Scholliers, Eline Philips, Charlotte Herzeel, Wolfgang De Meuter |
Fact Spaces: Coordination in the Face of Disconnection. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Tapus, Jason Hickey |
A Theory of Nested Speculative Execution. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Davide Frey, Gruia-Catalin Roman |
Context-Aware Publish Subscribe in Mobile Ad Hoc Networks. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Rohan Sen, Gregory Hackmann, Mart Haitjema, Gruia-Catalin Roman, Christopher D. Gill |
Coordinating Workflow Allocation and Execution in Mobile Environments. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Steve Gregory, Martha Paschali |
A Prolog-Based Language for Workflow Programming. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Haller, Martin Odersky |
Actors That Unify Threads and Events. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel |
Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Farhad Arbab, Tom Chothia, Sun Meng, Young-Joo Moon 0001 |
Component Connectors with QoS Guarantees. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
Quantitative Constraint Automata, Quality of Service, Coordination, Composition, Reo |
1 | Jens Chr. Godskesen |
A Calculus for Mobile Ad Hoc Networks. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi 0001 |
A WSDL-Based Type System for WS-BPEL. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bocchi, Roberto Lucchi |
Atomic Commit and Negotiation in Service Oriented Computing. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
|
1 | William R. Cook, Sourabh Patwardhan, Jayadev Misra |
Workflow Patterns in Orc. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Omicini, Alessandro Ricci, Nicola Zaghini |
Distributed Workflow upon Linkable Coordination Artifacts. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro |
Choreography and Orchestration Conformance for System Design. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Luuk Groenewegen, Erik P. de Vink |
Evolution On-the-Fly with Paradigm. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
evolution on-the-fly, dynamic consistency, software architecture, migration, self-adaptation, Paradigm |
1 | Amy L. Murphy, Gian Pietro Picco |
Using Lime to Support Replication for Availability in Mobile Ad Hoc Networks. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab |
Compositional Semantics of an Actor-Based Language Using Constraint Automata. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
Rebeca, Compositional semantics, Reo, Constraint Automata, actor model |
1 | Tibor Bosse, Mark Hoogendoorn, Jan Treur |
Automated Evaluation of Coordination Approaches. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Carlo Montangero, Laura Semini |
A Logical View of Choreography. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Martín López Nores, Jorge García Duque, José Juan Pazos-Arias |
Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Thomas T. Hildebrandt, Henning Niss, Martin Olsen |
Formalising Business Process Execution with Bigraphs and Reactive XML. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Nitsche 0001 |
Coordinating Computation with Communication. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Shangping Ren, Yue Yu 0002, Nianen Chen, Kevin Marth, Pierre-Etienne Poirot, Limin Shen |
Actors, Roles and Coordinators - A Coordination Model for Open Distributed and Embedded Systems. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Gruia-Catalin Roman, Radu Handorean, Rohan Sen |
Tuple Space Coordination Across Space and Time. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
|