Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Coalgebraic Methods in Computer Science
Details
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012, colocated with ETAPS 2012, held in Tallin, Estonia, in March/April 2012. The 10 revised full papers were carefully reviewed and selected from 23 submissions. Also included are three invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.
State-of-the-art research Fast-track conference proceedings Unique visibility
Inhalt
From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference.- Defining Context-Free Power Series Coalgebraically.- Relational Presheaves as Labelled Transition Systems.- On Finitary Functors and Their Presentations.- Structural Operational Semantics for Continuous State Probabilistic Processes.- Stream Automata Are Coalgebras.- Trace Semantics via Determinizatio.- An Alpha-Corecursion Principle for the Infinitary Lambda Calculus.- Lax Extensions of Coalgebra Functors.- From Transitions to Executions.- Tracing the Man in the Middle in Monoidal Categories.- Permutations in Coinductive Graph Representation.- Internal Models for Coalgebraic Modal Logics.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783642327834
- Editor Lutz Schröder, Dirk Pattinson
- Sprache Englisch
- Auflage 2012
- Größe H235mm x B155mm x T15mm
- Jahr 2012
- EAN 9783642327834
- Format Kartonierter Einband
- ISBN 3642327834
- Veröffentlichung 02.08.2012
- Titel Coalgebraic Methods in Computer Science
- Untertitel 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers
- Gewicht 411g
- Herausgeber Springer Berlin Heidelberg
- Anzahl Seiten 268
- Lesemotiv Verstehen
- Genre Informatik