Huisman M. Formal Techniques for Distributed Objects, Components,...Systems 2023

Download this torrent!

Huisman M. Formal Techniques for Distributed Objects, Components,...Systems 2023

Category: Other
Total size: 6.81 MB
Added: 2025-03-10 23:38:57

Share ratio: 5 seeders, 2 leechers
Info Hash: 86CCBF42A4B9142234669F5144C46F9925F5BAFD
Last updated: 11 hours ago

Textbook in PDF format This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023. The 13 regular papers and 3 short papers presented in this book were carefully reviewed and selected from 26 submissions. They cover topics such as: concurrent programming; security; probabilities, time and other resources; and model-based testing and petri nets. Foreword Preface Organization Principles of Persistent Programming (Keynote Talk) Concurrent Programming An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises Towards an Automatic Proof of the Bakery Algorithm Certified Compilation of Choreographies with hacc Implementing a CTL Model Checker with muG, a Language for Programming Graph Neural Networks Security Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems Impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case Study Probabilities, Time and other Resources Operations on Timed Scenarios On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems*-2pt On Bisimilarity for Polyhedral Models and SLCS Model-Based Testing and Petri Nets With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves*-2pt Efficient Dynamic Model Based Testing Minimal Generating Sets for Semiflows Relating Reversible Petri Nets and Reversible Event Structures, Categorically Author Index