03170nam 22005775 450 99666036390331620250515130305.0978303188930110.1007/978-3-031-88930-1(CKB)38815685500041(DE-He213)978-3-031-88930-1(MiAaPQ)EBC32123040(Au-PeEL)EBL32123040(OCoLC)1524425208(EXLCZ)993881568550004120250515d2025 u| 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierRecent 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țu1st ed. 2025.Cham :Springer Nature Switzerland :Imprint: Springer,2025.1 online resource (IX, 135 p. 18 illus., 2 illus. in color.) Lecture Notes in Computer Science,1611-3349 ;155879783031889295 -- 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.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.Lecture Notes in Computer Science,1611-3349 ;15587Computer scienceMachine theoryComputer programmingComputer Science Logic and Foundations of ProgrammingFormal Languages and Automata TheoryProgramming TechniquesComputer science.Machine theory.Computer programming.Computer Science Logic and Foundations of Programming.Formal Languages and Automata Theory.Programming Techniques.004.0151Tutu Ionutedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996660363903316Recent Trends in Algebraic Development Techniques771917UNISA