| Description |
1 online resource (xiv, 250 pages) : illustrations (black and white) |
| Series |
Lecture notes in computer science ; 7890 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 7890.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
| Contents |
Stochastic Process Algebra and Stability Analysis of Collective Systems / Luca Bortolussi, Diego Latella, Mieke Massink -- Modelling MAC-Layer Communications in Wireless Systems / Andrea Cerone, Matthew Hennessy, Massimo Merro -- Coordinating Phased Activities while Maintaining Progress / Tiago Cogumbreiro, Francisco Martins -- Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions / Mario Coppo, Mariangiola Dezani-Ciancaglini -- Pattern Matching and Bisimulation / Thomas Given-Wilson, Daniele Gorla -- Component-Based Autonomic Managers for Coordination Control / Soguy Mak Karé Gueye, Noël de Palma, Eric Rutten -- Multi-threaded Active Objects / Ludovic Henrio, Fabrice Huet, Zsolt István -- Scheduling Open-Nested Transactions in Distributed Transactional Memory / Junwhan Kim, Roberto Palmieri, Binoy Ravindran -- Peer-Based Programming Model for Coordination Patterns / Eva Kühn, Stefan Craß, Gerson Joskowicz -- Decidability Results for Dynamic Installation of Compensation Handlers / Ivan Lanese, Gianluigi Zavattaro -- Probabilistic Modular Embedding for Stochastic Coordinated Systems / Stefano Mariani, Andrea Omicini -- ByteSTM: Virtual Machine-Level Java Software Transactional Memory / Mohamed Mohamedin, Binoy Ravindran, Roberto Palmieri -- The Future of a Missed Deadline / Behrooz Nobakht, Frank S. de Boer -- Event Loop Coordination Using Meta-programming / Laure Philips, Dries Harnie, Kevin Pinte -- Interactive Interaction Constraints / José Proença, Dave Clarke -- Towards Distributed Reactive Programming / Guido Salvaneschi, Joscha Drechsler, Mira Mezini -- Typing Progress in Communication-Centred Systems / Hugo Torres Vieira, Vasco Thudichum Vasconcelos |
| Summary |
This book constitutes the refereed proceedings of the 15th International Conference on Coordination Models and Languages, COORDINATION 2013, held in Firenze, Italy, in June 2013, within the 8th International Federated Conference on Distributed Computing Techniques (DisCoTec 2013). The 17 revised full papers presented were carefully reviewed and selected from 42 submissions. The papers cover a wide range of topics including coordination of social collaboration processes, coordination of mobile systems in peer-to-peer and ad-hoc networks, programming and reasoning about distributed and concurrent software, types, contracts, synchronization, coordination patterns, and families of distributed systems |
| Analysis |
computerwetenschappen |
|
computer sciences |
|
operating systems |
|
computational science |
|
computernetwerken |
|
computer networks |
|
software engineering |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
| Notes |
International conference proceedings |
| Bibliography |
Includes bibliographical references and author index |
| Notes |
Print version record |
| Subject |
Electronic data processing -- Distributed processing -- Congresses
|
|
Electronic Data Processing
|
|
Computing Methodologies
|
|
Electronic data processing -- Distributed processing
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
De Nicola, Rocco, editor.
|
|
Julien, Christine, D. Sc., editor.
|
|
International Federation for Information Processing, sponsor.
|
|
International Federated Conferences on Distributed Computing Techniques (8th : 2013 : Florence, Italy)
|
| ISBN |
9783642384936 |
|
3642384935 |
|
