Buch, Englisch, 135 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 236 g
27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers
Buch, Englisch, 135 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 236 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-031-88929-5
Verlag: Springer Nature Switzerland
This book constitutes the thoroughly refereed post-conference proceedings of the 27th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2024, held in Enschede, The Netherlands, on July 8, 2024.
The 6 full papers presented in this volume were carefully reviewed and selected from 11 submissions. The contributed presentations covered a wide range of topics on the algebraic approach to system specification: from foundations of algebraic-specification languages to institutions and knowledge representation, to graph transformations, rewrite rules, process algebra, and bialgebraic frameworks, to many-logics modal systems and quantum process calculi, and to several applications to code synthesis and maintainability.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
.- Invited Papers.
.- Finite Approximations of the Common Meadow of Rational Numbers.
.- Some Uses of Modal Semirings.
.- Contributed Papers.
.- Bialgebraic Representation of Coordination Frameworks.
.- Topological Inquiry in Abstract Model Theory.
.- The Institution of Many-Logics Modal Logic.
.- Reconciling Quantum Theory and Process Equivalence via Physically
Admissible Schedulers.
