Recent Trends in Algebraic Development Techniques : 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, the Netherlands, July 8, 2024, Revised Selected Papers (Lecture Notes in Computer Science)

Țuțu, Ionuț (EDT)

Springer International Publishing AG（2025/05発売）

• 製本 Paperback:紙装版/ペーパーバック版／ページ数 135 p.
• 言語 ENG
• 商品コード 9783031889295
• DDC分類 005.1

Full Description

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.

Contents

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