Theoretical Aspects of Computing – ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedings /
This book constitutes the refereed proceedings of the 21st International Colloquium on Theoretical Aspects of Computing, ICTAC 2024, held in Bangkok, Thailand, during November 25–29, 2024. The 21 full papers presented here were carefully reviewed and selected from 46 submissions. They were categoriz...
Guardado en:
| Autor Corporativo: | |
|---|---|
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Lenguaje: | inglés |
| Publicado: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2025.
|
| Edición: | 1st ed. 2025. |
| Colección: | Lecture Notes in Computer Science,
15373 |
| Materias: | |
| Acceso en línea: | https://doi.org/10.1007/978-3-031-77019-7 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-031-77019-7 | ||
| 003 | DE-He213 | ||
| 005 | 20260706115644.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 241122s2025 sz | s |||| 0|eng d | ||
| 020 | |a 9783031770197 |9 978-3-031-77019-7 | ||
| 024 | 7 | |a 10.1007/978-3-031-77019-7 |2 doi | |
| 050 | 4 | |a QA75.5-76.95 | |
| 072 | 7 | |a UYA |2 bicssc | |
| 072 | 7 | |a COM014000 |2 bisacsh | |
| 072 | 7 | |a UYA |2 thema | |
| 082 | 0 | 4 | |a 004.0151 |2 23 |
| 245 | 1 | 0 | |a Theoretical Aspects of Computing – ICTAC 2024 |h [electronic resource] : |b 21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedings / |c edited by Chutiporn Anutariya, Marcello M. Bonsangue. |
| 250 | |a 1st ed. 2025. | ||
| 264 | 1 | |a Cham : |b Springer Nature Switzerland : |b Imprint: Springer, |c 2025. | |
| 300 | |a XVIII, 410 p. 72 illus., 24 illus. in color. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Lecture Notes in Computer Science, |x 1611-3349 ; |v 15373 | |
| 505 | 0 | |a Automata, Languages, and Learning -- Well Behaved (Co)algebraic Semantics of Regular Expressions in Dafny -- Jump Complexity of Deterministic Finite Automata with Translucent Letters -- Learning Closed Signal Flow Graphs -- Dual Adjunction Between $Omega$ Automata and Wilke Algebra Quotients -- On Concurrent Program Algebra and Demonic Automata -- Bisimulations and Logics for Higher Dimensional Automata -- Algorithms and Complexity -- Maximizing Weighted Dominance in the Plane -- Generalized Parikh Matrices For Tracking Subsequence Occurrences -- Card Based Protocols with Single Card Encoding -- Graphs and Games -- Winning Strategy Templates for Stochastic Parity Games towards Permissive and Resilient Control -- Disconnection Rules are Complete for Chemical Reactions -- Verification with Common Knowledge of Rationality for Graph Games -- Process Calculi -- Reversibility in Process Calculi with Nondeterminism and Probabilities -- A Theory of Proc Omata and a Proof Technique for Parameterized Process Architectures -- Formal Foundations for Efficient Simulation of MOM Systems The Refinement Calculus for Object Oriented Event Graphs -- Verification and Reasoning -- Verifying Type Safety for Isabelle/Solidity -- History Based Reasoning about Behavioral Subtyping -- Switched Systems in Coq for Modeling Periodic Controllers -- A quantum inspired mechanical method for proving of Ramsey’s theorem by symbolic computation over the finite field GF(2) -- Runtime Enforcement with Event Reordering. | |
| 520 | |a This book constitutes the refereed proceedings of the 21st International Colloquium on Theoretical Aspects of Computing, ICTAC 2024, held in Bangkok, Thailand, during November 25–29, 2024. The 21 full papers presented here were carefully reviewed and selected from 46 submissions. They were categorized into the following topical sections: Invited Papers; Automata, Languages, and Learning; Algorithms and Complexity; Graphs and Games; Process Calculi; Verification and Reasoning. | ||
| 650 | 0 | |a Computer science. | |
| 650 | 1 | 4 | |a Computer Science Logic and Foundations of Programming. |
| 700 | 1 | |a Anutariya, Chutiporn. |e editor. |0 (orcid)0000-0001-7101-212X |1 https://orcid.org/0000-0001-7101-212X |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Bonsangue, Marcello M. |e editor. |0 (orcid)0000-0003-3746-3618 |1 https://orcid.org/0000-0003-3746-3618 |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783031770180 |
| 776 | 0 | 8 | |i Printed edition: |z 9783031770203 |
| 830 | 0 | |a Lecture Notes in Computer Science, |x 1611-3349 ; |v 15373 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-031-77019-7 |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 912 | |a ZDB-2-SXPS | ||
| 912 | |a ZDB-2-LNC | ||
| 912 | |a ZDB-2-238 | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||
| 950 | |a Springer Nature Proceedings Computer Science (SpringerNature-85344) | ||
| 950 | |a Focus Bundle Foundational Computer Science (SpringerNature-85408) | ||