Coordination Models and Languages: 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated ... (Lecture Notes in Computer Science, 13271)

Formal Methods for Socio-Technical Security (Formal and Automated Analysis of Security Ceremonies) .- Timed and Probabilistic Systems.- MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems.- A Sound Up-to-n; Bisimilarity for PCTL.- Collective Adaptive Systems and Aggregate Computing Extensible 3D Simulation of Aggregated Systems with FCPP.- Towards Reinforcement Learning-based Aggregate Computing .- A Tool for Reasoning about Collective Systems.- Space- uid Adaptive Sampling: a Field-based, Self-organising Approach.- Processes and Languages.- Formal Choreographic Languages.- A Model of Actors and Grey Failures.- Soft Concurrent Constraint Programming with Local Variables.- Runtime Veri cation and Monitor Synthesis.- A Synthesis Tool for Optimal Monitors in a Branching-Time Setting.- A Monitoring Tool for the Linear-Time HML.- Microservices.- Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs.

• | Author: Maurice H Ter Beek, Marjan Sirjani
• | Publisher: Springer
• | Publication Date: Jul 15, 2022
• | Number of Pages: 255 pages
• | Language: English
• | Binding: Paperback
• | ISBN-10: 3031081455
• | ISBN-13: 9783031081453