Coordination Models and Languages
Springer International Publishing (Verlag)
978-3-319-39518-0 (ISBN)
The 16 full papers included in this volume were carefully reviewed andselected from 44 submissions. The papers cover a wide range of topicsand techniques related to system coordination, including: programming andcommunication abstractions; communication protocols and behavioural types;actors and concurrent objects; tuple spaces; games, interfaces and contracts; information flow policies and dissemination techniques; and probabilistic modelsand formal verification.
Multilevel Transitive and Intransitive Non-Interference, Causally.- A Game Interpretation of Retractable Contracts.- Where Do Your IoT Ingredients Come from?.- Tuple Spaces Implementations and Their Efficiency.- On-the-Fly Mean-field Model-Checking for Attribute-Based Coordination.- Scheduling Games for Concurrent Systems.- ParT: An Asynchronous Parallel Abstraction for Speculative PipelineComputations.- Modelling Ambulance Deployment with CARMA.- On Synchronous and Asynchronous Compatibility of Communicating Components.- A Semantic Theory of the Internet of Things.- A Formal Analysis of the Global Sequence Protocol.- Improving Gossip Dynamics through Overlapping Replicates.- From Modelling to Systematic Deployment of Distributed Active Objects.- An Interference-Free Programming Model for Network Objects.- On Sessions and Infinite Data.- On Dynamical Probabilities, or: How to Learn to Shoot Straight.
| Erscheinungsdatum | 08.10.2016 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
| Zusatzinfo | XIV, 279 p. 83 illus. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
| Schlagworte | Actors • Applications • behavioural types • Collective Adaptive Systems • communication abstractions • Communication Protocols • Computer Science • concurrent objects • conference proceedings • constraint automata • Contracts • dissemination techniques • distributed algorithms • Formal Verification • Game Theory • Informatics • Information flow policies • interfaces • Model-Checking • Probabilistic Models • programming • Research • Robustness • Scheduling • Software engineering • synthesis |
| ISBN-10 | 3-319-39518-1 / 3319395181 |
| ISBN-13 | 978-3-319-39518-0 / 9783319395180 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
