|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7468 occurrences of 3075 keywords
|
|
|
Results
Found 17405 publication records. Showing 17405 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
31 | Marco Carbone, Ornela Dardha, Fabrizio Montesi |
Progress as Compositional Lock-Freedom. |
COORDINATION |
2014 |
DBLP DOI BibTeX RDF |
|
31 | Luca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira |
Typing Liveness in Multiparty Communicating Systems. |
COORDINATION |
2014 |
DBLP DOI BibTeX RDF |
|
31 | Dimitris Mostrous, Vasco Thudichum Vasconcelos |
Affine Sessions. |
COORDINATION |
2014 |
DBLP DOI BibTeX RDF |
|
31 | 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 |
|
31 | Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos |
Coordinating Phased Activities while Maintaining Progress. |
COORDINATION |
2013 |
DBLP DOI BibTeX RDF |
|
31 | Luca Bortolussi, Diego Latella, Mieke Massink |
Stochastic Process Algebra and Stability Analysis of Collective Systems. |
COORDINATION |
2013 |
DBLP DOI BibTeX RDF |
|
31 | Andrea Cerone, Matthew Hennessy, Massimo Merro |
Modelling MAC-Layer Communications in Wireless Systems. |
COORDINATION |
2013 |
DBLP DOI BibTeX RDF |
|
31 | Thomas Given-Wilson, Daniele Gorla |
Pattern Matching and Bisimulation. |
COORDINATION |
2013 |
DBLP DOI BibTeX RDF |
|
31 | Hugo Torres Vieira, Vasco Thudichum Vasconcelos |
Typing Progress in Communication-Centred Systems. |
COORDINATION |
2013 |
DBLP DOI BibTeX RDF |
|
31 | 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 |
|
31 | Junwhan Kim, Roberto Palmieri, Binoy Ravindran |
Scheduling Open-Nested Transactions in Distributed Transactional Memory. |
COORDINATION |
2013 |
DBLP DOI BibTeX RDF |
|
31 | Ludovic Henrio, Fabrice Huet, Zsolt István |
Multi-threaded Active Objects. |
COORDINATION |
2013 |
DBLP DOI BibTeX RDF |
|
31 | Stefano Mariani 0001, Andrea Omicini |
Probabilistic Modular Embedding for Stochastic Coordinated Systems. |
COORDINATION |
2013 |
DBLP DOI BibTeX RDF |
|
31 | Mohamed Mohamedin, Binoy Ravindran, Roberto Palmieri |
ByteSTM: Virtual Machine-Level Java Software Transactional Memory. |
COORDINATION |
2013 |
DBLP DOI BibTeX RDF |
|
31 | Guido Salvaneschi, Joscha Drechsler, Mira Mezini |
Towards Distributed Reactive Programming. |
COORDINATION |
2013 |
DBLP DOI BibTeX RDF |
|
31 | Behrooz Nobakht, Frank S. de Boer, Mohammad Mahdi Jaghoori |
The Future of a Missed Deadline. |
COORDINATION |
2013 |
DBLP DOI BibTeX RDF |
|
31 | Ivan Lanese, Gianluigi Zavattaro |
Decidability Results for Dynamic Installation of Compensation Handlers. |
COORDINATION |
2013 |
DBLP DOI BibTeX RDF |
|
31 | José Proença, Dave Clarke 0001 |
Interactive Interaction Constraints. |
COORDINATION |
2013 |
DBLP DOI BibTeX RDF |
|
31 | 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 |
|
31 | Eline Philips, Jorge Vallejos, Ragnhild Van Der Straeten, Viviane Jonckers |
Group Orchestration in a Mobile Environment. |
COORDINATION |
2012 |
DBLP DOI BibTeX RDF |
|
31 | Peter Dinges, Gul Agha |
Scoped Synchronization Constraints for Large Scale Actor Systems. |
COORDINATION |
2012 |
DBLP DOI BibTeX RDF |
|
31 | Bogdan Aman, Gabriel Ciobanu |
Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps. |
COORDINATION |
2012 |
DBLP DOI BibTeX RDF |
|
31 | Massimo Bartoletti, Emilio Tuosto, Roberto Zunino |
On the Realizability of Contracts in Dishonest Systems. |
COORDINATION |
2012 |
DBLP DOI BibTeX RDF |
|
31 | Marko van Dooren, Dave Clarke 0001 |
Subobject Transactional Memory. |
COORDINATION |
2012 |
DBLP DOI BibTeX RDF |
|
31 | 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 |
|
31 | Ramtin Khosravi, Hamideh Sabouri |
Using Coordinated Actors to Model Families of Distributed Systems. |
COORDINATION |
2012 |
DBLP DOI BibTeX RDF |
|
31 | Pierpaolo Degano, Gian-Luigi Ferrari 0002, Letterio Galletta, Gianluca Mezzetti |
Types for Coordinating Secure Behavioural Variations. |
COORDINATION |
2012 |
DBLP DOI BibTeX RDF |
|
31 | Mieke Massink, Diego Latella |
Fluid Analysis of Foraging Ants. |
COORDINATION |
2012 |
DBLP DOI BibTeX RDF |
|
31 | 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 |
|
31 | Roberto Bruni, Carla Ferreira 0001, Anne Kersten Kauer |
First-Order Dynamic Logic for Compensable Processes. |
COORDINATION |
2012 |
DBLP DOI BibTeX RDF |
|
31 | Dave Clarke 0001, José Proença |
Partial Connector Colouring. |
COORDINATION |
2012 |
DBLP DOI BibTeX RDF |
|
31 | 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 |
|
31 | Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro |
Fault in the Future. |
COORDINATION |
2011 |
DBLP DOI BibTeX RDF |
|
31 | Dimitris Mostrous, Vasco Thudichum Vasconcelos |
Session Typing for a Featherweight Erlang. |
COORDINATION |
2011 |
DBLP DOI BibTeX RDF |
|
31 | 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 |
|
31 | Jacopo Mauro, Maurizio Gabbrielli, Claudio Guidi, Fabrizio Montesi |
An Efficient Management of Correlation Sets with Broadcast. |
COORDINATION |
2011 |
DBLP DOI BibTeX RDF |
|
31 | Kevin Pinte, Dries Harnie, Theo D'Hondt |
Enabling Cross-Technology Mobile Applications with Network-Aware References. |
COORDINATION |
2011 |
DBLP DOI BibTeX RDF |
|
31 | Christine Julien 0001 |
The Context of Coordinating Groups in Dynamic Mobile Networks. |
COORDINATION |
2011 |
DBLP DOI BibTeX RDF |
|
31 | Luca Padovani |
Fair Subtyping for Multi-party Session Types. |
COORDINATION |
2011 |
DBLP DOI BibTeX RDF |
|
31 | Seiji Umatani, Masahiro Yasugi, Taiichi Yuasa |
Abstract Machines for Safe Ambients in Wide-Area and Mobile Networks. |
COORDINATION |
2011 |
DBLP DOI BibTeX RDF |
|
31 | Nicholas Ng, Nobuko Yoshida, Olivier Pernet, Raymond Hu, Yiannos Kryftis |
Safe Parallel Programming with Session Java. |
COORDINATION |
2011 |
DBLP DOI BibTeX RDF |
|
31 | 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 |
|
31 | Cinzia Di Giusto, Jean-Bernard Stefani |
Revisiting Glue Expressiveness in Component-Based Systems. |
COORDINATION |
2011 |
DBLP DOI BibTeX RDF |
|
31 | 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 |
|
31 | Hubert Plociniczak, Susan Eisenbach |
JErlang: Erlang with Joins. |
COORDINATION |
2010 |
DBLP DOI BibTeX RDF |
|
31 | Eline Philips, Ragnhild Van Der Straeten, Viviane Jonckers |
NOW: A Workflow Language for Orchestration in Nomadic Networks. |
COORDINATION |
2010 |
DBLP DOI BibTeX RDF |
|
31 | 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 |
|
31 | Francesco Calzolai, Michele Loreti |
Simulation and Analysis of Distributed Systems in Klaim. |
COORDINATION |
2010 |
DBLP DOI BibTeX RDF |
|
31 | 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 |
|
31 | K. C. Sivaramakrishnan, Karthik Nagaraj, Lukasz Ziarek, Patrick Eugster |
Efficient Session Type Guided Distributed Interaction. |
COORDINATION |
2010 |
DBLP DOI BibTeX RDF |
|
31 | Lucia Acciai, Michele Boreale, Gianluigi Zavattaro |
Behavioural Contracts with Request-Response Operations. |
COORDINATION |
2010 |
DBLP DOI BibTeX RDF |
|
31 | Somsak Vanit-Anunchai |
Modelling Railway Interlocking Tables Using Coloured Petri Nets. |
COORDINATION |
2010 |
DBLP DOI BibTeX RDF |
|
31 | K. R. Jayaram, Patrick Th. Eugster |
Scalable Efficient Composite Event Detection. |
COORDINATION |
2010 |
DBLP DOI BibTeX RDF |
|
31 | Stephanie Kemper |
Compositional Construction of Real-Time Dataflow Networks. |
COORDINATION |
2010 |
DBLP DOI BibTeX RDF |
|
31 | Jens Chr. Godskesen |
Observables for Mobile and Wireless Broadcasting Systems. |
COORDINATION |
2010 |
DBLP DOI BibTeX RDF |
|
31 | 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 |
|
31 | Liliana D'Errico, Michele Loreti |
Assume-Guarantee Verification of Concurrent Systems. |
COORDINATION |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Bjørn Haagensen, Hans Hüttel |
Parametrised Constants and Replication for Spatial Mobility. |
COORDINATION |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Jens Chr. Godskesen, Sebastian Nanz |
Mobility Models and Behavioural Equivalence for Wireless Networks. |
COORDINATION |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Armand Navabi, Suresh Jagannathan |
Exceptionally Safe Futures. |
COORDINATION |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Manuel Serrano |
Hop, a Fast Server for the Diffuse Web. |
COORDINATION |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Carl G. Ritson, Adam T. Sampson, Fred R. M. Barnes |
Multicore Scheduling for Lightweight Communicating Processes. |
COORDINATION |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Alexis Petrounias, Susan Eisenbach |
Fairness for Chorded Languages. |
COORDINATION |
2009 |
DBLP DOI BibTeX RDF |
|
31 | 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 |
|
31 | Anu Singh, C. R. Ramakrishnan 0001, Scott A. Smolka |
A Process Calculus for Mobile Ad Hoc Networks. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Philipp Haller, Tom Van Cutsem |
Implementing Joins Using Extensible Pattern Matching. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
Join Patterns, Concurrent Programming, Actors, Chords |
31 | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi 0001 |
A Formal Account of WS-BPEL. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini 0001 |
Timed Soft Concurrent Constraint Programs. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Leonardo Gaetano Mezzina |
How to Infer Finite Session Types in a Calculus of Services and Sessions. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Rohan Sen, Gruia-Catalin Roman, Christopher D. Gill |
CiAN: A Workflow Engine for MANETs. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Roberto Bruni, Ivan Lanese, Hernán C. Melgratti, Emilio Tuosto |
Multiparty Sessions in SOC. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Lorenzo Bettini, Rocco De Nicola, Michele Loreti |
Implementing Session Centered Calculi. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
31 | 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 |
|
31 | Martin Sulzmann, Edmund S. L. Lam, Peter Van Weert |
Actors with Multi-headed Message Receive Patterns. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Dimitrios Vardoulakis, Mitchell Wand |
A Compositional Trace Semantics for Orc. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Davide Prandi, Paola Quaglia, Nicola Zannone |
Formal Analysis of BPMN Via a Translation into COWS. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Karthikeyan Bhargavan, Andrew D. Gordon 0001, Iman Narasamdya |
Service Combinators for Farming Virtual Machines. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Alessandro Fantechi, Elie Najm |
Session Types for Orchestration Charts. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Giovanni Russello, Changyu Dong, Naranker Dulay, Michel R. V. Chaudron, Maarten van Steen |
Encrypted Shared Data Spaces. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
31 | 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 |
|
31 | 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 |
|
31 | Mario Bravetti, Gianluigi Zavattaro |
A Theory for Strong Service Compliance. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu |
Generalized Committed Choice. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
31 | 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 |
|
31 | Cristian Tapus, Jason Hickey |
A Theory of Nested Speculative Execution. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Davide Frey, Gruia-Catalin Roman |
Context-Aware Publish Subscribe in Mobile Ad Hoc Networks. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Steve Gregory, Martha Paschali |
A Prolog-Based Language for Workflow Programming. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Philipp Haller, Martin Odersky |
Actors That Unify Threads and Events. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
31 | 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 |
|
31 | Jens Chr. Godskesen |
A Calculus for Mobile Ad Hoc Networks. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
31 | José Cordeiro, Joaquim Filipe (eds.) |
Computer Supported Activity Coordination, Proceedings of the 3rd International Workshop on Computer Supported Activity Coordination, CSAC 2006, In conjunction with ICEIS 2006, Paphos, Cyprus, May 2006 |
Computer Supported Activity Coordination |
2006 |
DBLP BibTeX RDF |
|
31 | Paolo Ciancarini, Herbert Wiklicky (eds.) |
Coordination Models and Languages, 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Guido Boella, Leendert van der Torre (eds.) |
Proceedings of the First International Workshop on Coordination and Organisation, CoOrg@COORDINATION 2005, Namur, Belgium, April 23, 2005 |
CoOrg@COORDINATION |
2006 |
DBLP BibTeX RDF |
|
31 | Carolyn L. Talcott |
Policy-based Coordination in PAGODA: A Case Study. |
CoOrg/MTCoord@COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
|
31 | David Safránek |
Architectural Interoperability Checking in Visual Coordination Networks. |
CoOrg/MTCoord@COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Paul Piwek, Richard Power |
CROCODIAL: Crosslingual Computer-mediated Dialogue. |
Computer Supported Acitivity Coordination |
2006 |
DBLP BibTeX RDF |
|
31 | Thierry Duval, Chadi El Zammar |
Managing Network Troubles while Interacting within Collaborative Virtual Environments. |
Computer Supported Acitivity Coordination |
2006 |
DBLP BibTeX RDF |
|
31 | Qun Yu, Meina Song, Junde Song, Xiaosu Zhan |
System Architecture Design for WAP Services Based on MISC Platform. |
Computer Supported Acitivity Coordination |
2006 |
DBLP BibTeX RDF |
|
31 | Kazumi Nakamatsu |
A Defeasible Deontic Model for Intelligent Simulation. |
Computer Supported Acitivity Coordination |
2006 |
DBLP BibTeX RDF |
|
31 | Lambèr M. M. Royakkers, Davide Grossi, Frank Dignum |
Organizational Structure and Responsibility. |
Computer Supported Acitivity Coordination |
2006 |
DBLP BibTeX RDF |
|
Displaying result #501 - #600 of 17405 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|