Coalgebraic Methods in Computer Science: 11th International Workshop, Cmcs 2012, Colocated with Etaps 2012, Tallinn, Estonia, March 31 -- April 1, 201

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.

• Format: Paperback
• Language: English
• ISBN: 3642327834
• ISBN13: 9783642327834
• Release Date: August 2012
• Publisher: Springer
• Length: 259 Pages
• Weight: 0.84 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"