Custom cover image
Custom cover image

Recent Trends in Algebraic Development Techniques : 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers / edited by Ionuț Țuțu

Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Lecture Notes in Computer Science ; 15587Publisher: Cham : Springer Nature Switzerland, 2025Publisher: Cham : Imprint: Springer, 2025Edition: 1st ed. 2025Description: 1 Online-Ressource(IX, 135 p. 18 illus., 2 illus. in color.)ISBN:
  • 9783031889301
Subject(s): Additional physical formats: 9783031889295 | 9783031889318 | Erscheint auch als: 9783031889295 Druck-Ausgabe | Erscheint auch als: 9783031889318 Druck-AusgabeDDC classification:
  • 004.0151 23
DOI: DOI: 10.1007/978-3-031-88930-1Online resources: Summary: -- 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.Summary: 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.PPN: PPN: 1926118472Package identifier: Produktsigel: ZDB-2-SEB | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-LNC
No physical items for this record
KIT – The Research University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT