Coordination Models and Languages
Title | Coordination Models and Languages PDF eBook |
Author | Maurice H. ter Beek |
Publisher | Springer Nature |
Pages | 246 |
Release | 2022-06-13 |
Genre | Computers |
ISBN | 3031081439 |
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.
Coordination Models and Languages
Title | Coordination Models and Languages PDF eBook |
Author | Sung-Shik Jongmans |
Publisher | Springer Nature |
Pages | 296 |
Release | 2023-06-14 |
Genre | Computers |
ISBN | 3031353617 |
This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023. The 12 regular papers and 2 short paper presented in this book were carefully reviewed and selected from 27 submissions. The papers deal with the following topics: Collective Adaptive Systems and Aggregate Computing; Cyber-Physical Systems; Verification and Testing; Languages and Processes; and Run-Time Changes.
Coordination Models and Languages
Title | Coordination Models and Languages PDF eBook |
Author | Ilaria Castellani |
Publisher | Springer Nature |
Pages | 341 |
Release | |
Genre | |
ISBN | 3031626974 |
Fluidware
Title | Fluidware PDF eBook |
Author | Franco Zambonelli |
Publisher | Springer Nature |
Pages | 208 |
Release | |
Genre | |
ISBN | 3031621468 |
Algorithms and Architectures for Parallel Processing
Title | Algorithms and Architectures for Parallel Processing PDF eBook |
Author | Zahir Tari |
Publisher | Springer Nature |
Pages | 523 |
Release | |
Genre | |
ISBN | 9819708346 |
Architecture of Computing Systems
Title | Architecture of Computing Systems PDF eBook |
Author | Dietmar Fey |
Publisher | Springer Nature |
Pages | 368 |
Release | |
Genre | |
ISBN | 303166146X |
Formal Methods for Industrial Critical Systems
Title | Formal Methods for Industrial Critical Systems PDF eBook |
Author | Anne E. Haxthausen |
Publisher | Springer Nature |
Pages | 267 |
Release | |
Genre | |
ISBN | 3031681509 |