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

AvBarbara König,Henning Urbat

Häftad, Engelska, 2024

Del 14617 i serien Lecture Notes in Computer Science

720 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:2024-07-26
Mått:155 x 235 x 16 mm
Vikt:358 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:217
Förlag:Springer International Publishing AG
ISBN:9783031664373

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Matematikens grunder inom Naturvetenskap och teknik
Artificiell intelligens inom Data och IT

Innehållsförteckning

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.

Du kanske också är intresserad av

Del 14617

Die fünf Geheimnisse, die Sie entdecken sollten, bevor Sie sterben

John Izzo

Häftad, 2010

147 kr

Del 14617

Research in Computational Molecular Biology

Jian Ma

Häftad, 2024

1 935 kr

Del 14617

Advent mit Snoopy

Charles M. Schulz

Häftad

110 kr

CONCUR 2011 -- Concurrency Theory

Joost-Pieter Katoen, Barbara König

Häftad, 2011

581 kr