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

Mitwirkende(r):

Țuțu, Ionuț [HerausgeberIn]

Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Lecture Notes in Computer Science ; 15587Verlag: Cham : Springer Nature Switzerland, 2025Verlag: Cham : Imprint: Springer, 2025Auflage: 1st ed. 2025Beschreibung: 1 Online-Ressource(IX, 135 p. 18 illus., 2 illus. in color.)ISBN:

9783031889301

Schlagwörter:

Andere physische Formen: 9783031889295 | 9783031889318 | Erscheint auch als: 9783031889295 Druck-Ausgabe | Erscheint auch als: 9783031889318 Druck-AusgabeDDC-Klassifikation:

004.0151 23

DOI: DOI: 10.1007/978-3-031-88930-1Online-Ressourcen:

Zugang im Netz des KIT

Zusammenfassung: -- 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.Zusammenfassung: 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

Exemplare ( 0 )

Dieser Titel hat keine Exemplare