Claudio Antares Mezzina - Böcker
Visar alla böcker från författaren Claudio Antares Mezzina. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
Del 13354 - Lecture Notes in Computer Science
Reversible Computation
14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings
Häftad, Engelska, 2022
713 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 14th International Conference on Reversible Computation, RC 2022, which was held in Urbino, Italy, during July 5-6, 2021. The 10 full papers and 6 short papers included in this book were carefully reviewed and selected from 20 submissions.
Del 15732 - Lecture Notes in Computer Science
Formal Techniques for Distributed Objects, Components, and Systems
45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16–20, 2025, Proceedings
Häftad, Engelska, 2025
713 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 45th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2025, held in Lille, France, in June 2025, as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, during June 16–20, 2025.The 8 full papers and 5 short papers included in this book were carefully reviewed and selected from 25 submissions. They focus on fundamental research on theory, models, tools, and applications for distributed system.
Del 16065 - Lecture Notes in Computer Science
Components Operationally: Reversibility and System Engineering
Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday
Häftad, Engelska, 2025
637 kr
Skickas inom 7-10 vardagar
This Festschrift is dedicated to Jean-Bernard Stefani, a leading researcher in the field of component-based software engineering, system modelling, and formal methods for distributed systems.From 2001 to 2015 Jean-Bernard led first the SARDES research team at Inria Grenoble-Rhône-Alpes then the SPADES research team, and from 2015 to 2021 he was the Head of Science of the Inria Grenoble-Rhône-Alpes Research Center. Previously he worked at CNET (Centre National d’Études des Télécommunications) and France Télécom R&D. He has been a long-time board member of DisCoTeC, the main conference on Distributed Computing Technologies, and is a past chair of IFIP Working Group 6.1. His current research interests include concurrency theory, reversibility, process calculi, and reactive and distributed programming languages.In addition to his research and organizational achievements, Jean-Bernard has been an inspiring collaborator, the scope and success of his career is reflected in the contributions to this volume.