E-Book, Englisch, 279 Seiten, eBook
Lluch Lafuente / Proença Coordination Models and Languages
1. Auflage 2016
ISBN: 978-3-319-39519-7
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
E-Book, Englisch, 279 Seiten, eBook
Reihe: Programming and Software Engineering
ISBN: 978-3-319-39519-7
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.