| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996660363903316 |
|
|
Titolo |
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 |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2025.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (IX, 135 p. 18 illus., 2 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 15587 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Machine theory |
Computer programming |
Computer Science Logic and Foundations of Programming |
Formal Languages and Automata Theory |
Programming Techniques |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
-- 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. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
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. |
|
|
|
|
|
| |