Coordination models and languages : 24th IFIP WG 6. 1 International Conference, COORDINATION 2022, held as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings / Maurice H. ter Beek, Marjan Sirjani (eds.).
COORDINATION (Conference) (24th : 2022 : Lucca, Italy); Beek, Maurice H. ter.; Sirjani, Marjan.; International Federated Conferences on Distributed Computing Techniques (17th : 2022 : Lucca, Italy)
2022
QA76.758 .C66 2022eb
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Coordination models and languages : 24th IFIP WG 6. 1 International Conference, COORDINATION 2022, held as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings / Maurice H. ter Beek, Marjan Sirjani (eds.).
Meeting Name COORDINATION (Conference) (24th : 2022 : Lucca, Italy)
ISBN 9783031081439 (electronic bk.)
3031081439 (electronic bk.)
9783031081422
3031081420
DOI https://doi.org/10.1007/978-3-031-08143-9
Publication Details Cham : Springer, 2022.
Language English
Description 1 online resource (246 pages)
Other Standard Identifiers 10.1007/978-3-031-08143-9 doi
Call Number QA76.758 .C66 2022eb
Dewey Decimal Classification 005.1
Summary This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022. The 11 regular papers and one short paper presented in this book were carefully reviewed and selected from 22 submissions. COORDINATION provides a well-established forum for the growing community of researchers interested in coordination models and languages, architectures, verification and implementation techniques necessary to cope with the complexity induced by the demands of today's software development.
Note Includes author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed June 27, 2022).
Added Author Beek, Maurice H. ter.
Sirjani, Marjan.
Added Meeting Name International Federated Conferences on Distributed Computing Techniques (17th : 2022 : Lucca, Italy)
Series Lecture notes in computer science ; 13271.
Available in Other Form Coordination Models and Languages.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export