König / Urbat | Coalgebraic Methods in Computer Science | E-Book | sack.de
E-Book

E-Book, Englisch, Band 14617, 217 Seiten, eBook

Reihe: Lecture Notes in Computer Science

König / Urbat Coalgebraic Methods in Computer Science

17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings
Erscheinungsjahr 2024
ISBN: 978-3-031-66438-0
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings

E-Book, Englisch, Band 14617, 217 Seiten, eBook

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-031-66438-0
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

This book constitutes the post-conference proceedings of the 17th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2024, colocated with ETAPS 2024, held in Luxembourg in April 2024.The 10 papers included in these proceedings were carefully reviewed and selected from 15 submissions. The papers cover a wide range of topics on theory, logics, and applications of coalgebras.
König / Urbat Coalgebraic Methods in Computer Science jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

König, Barbara
Urbat, Henning

Weitere Infos & Material

Coalgebraic CTL: Fixpoint Characterization and Polynomial-time Model Checking.- A Categorical Approach to Coalgebraic Fixpoint Logic.- Preorder-Constrained Simulations for Program Refinement with Effects.- Automata and Coalgebras in Categories of Species.- Automata in W-Toposes, and General Myhill-Nerode Theorems.- Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras.- Explicit Hopcroft’s Trick in Categorical Partition Refinement.- Proving Behavioural Apartness.- A Compositional Approach to Petri Nets.- Correspondence between Composite Theories and Distributive Laws.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.