Search results for "coordination"

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