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)
Item Number
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