Buch, Englisch, Band 8446, 245 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 3927 g
12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Buch, Englisch, Band 8446, 245 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 3927 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-662-44123-7
Verlag: Springer
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract).- Generic Weakest Precondition Semantics from Monads Enriched with Order.- Coalgebraic Multigames.- How to Kill Epsilons with a Dagger.- On Coalgebras with Internal Moves.- A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics.- Coalgebraic Simulations and Congruences.- Dijkstra Monads in Monadic Computation.- Categories of Coalgebras with Monadic Homomorphisms.- Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions.- Canonical Nondeterministic Automata.- Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra.- Algebraic–Coalgebraic Recursion Theory of History-Dependent Dynamical System Models.