default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15. COORDINATION 2013: Florence, Italy
- Rocco De Nicola, Christine Julien:
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. Lecture Notes in Computer Science 7890, Springer 2013, ISBN 978-3-642-38492-9 - Luca Bortolussi
, Diego Latella, Mieke Massink:
Stochastic Process Algebra and Stability Analysis of Collective Systems. 1-15 - Andrea Cerone, Matthew Hennessy, Massimo Merro:
Modelling MAC-Layer Communications in Wireless Systems. 16-30 - Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos:
Coordinating Phased Activities while Maintaining Progress. 31-44 - Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida:
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions. 45-59 - Thomas Given-Wilson, Daniele Gorla:
Pattern Matching and Bisimulation. 60-74 - Soguy Mak Karé Gueye, Noel De Palma, Éric Rutten:
Component-Based Autonomic Managers for Coordination Control. 75-89 - Ludovic Henrio, Fabrice Huet, Zsolt István:
Multi-threaded Active Objects. 90-104 - Junwhan Kim, Roberto Palmieri, Binoy Ravindran:
Scheduling Open-Nested Transactions in Distributed Transactional Memory. 105-120 - Eva Kühn, Stefan Craß, Gerson Joskowicz, Alexander Marek, Thomas Scheller:
Peer-Based Programming Model for Coordination Patterns. 121-135 - Ivan Lanese, Gianluigi Zavattaro:
Decidability Results for Dynamic Installation of Compensation Handlers. 136-150 - Stefano Mariani, Andrea Omicini:
Probabilistic Modular Embedding for Stochastic Coordinated Systems. 151-165 - Mohamed Mohamedin, Binoy Ravindran, Roberto Palmieri:
ByteSTM: Virtual Machine-Level Java Software Transactional Memory. 166-180 - Behrooz Nobakht, Frank S. de Boer, Mohammad Mahdi Jaghoori:
The Future of a Missed Deadline. 181-195 - Laure Philips, Dries Harnie, Kevin Pinte, Wolfgang De Meuter:
Event Loop Coordination Using Meta-programming. 196-210 - José Proença, Dave Clarke:
Interactive Interaction Constraints. 211-225 - Guido Salvaneschi, Joscha Drechsler, Mira Mezini:
Towards Distributed Reactive Programming. 226-235 - Hugo Torres Vieira, Vasco Thudichum Vasconcelos:
Typing Progress in Communication-Centred Systems. 236-250
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-18 02:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
