Cite this
Email this
Export Record
Save to List
Order a print copy

Coalgebraic Methods in Computer Science : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, Revised Selected Papers

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 su...

Full description

Saved in:
Bibliographic Details
Other Authors: Pattinson, Dirk, 1970- (Editor)
Schröder, Lutz (Editor)
Corporate Author: SpringerLink (online služba)  
Format: eBook
Language:English
Published: Berlin ; Heidelberg : Springer Berlin Heidelberg, 2012
Series:Lecture Notes in Computer Science
Genre/form:elektronické knihy
ISBN:978-3-642-32784-1
9783642327834
Subjects:
Online Access:Plný text
Tags: Add Tag
No Tags, Be the first to tag this record!
Cover Image
Table of Contents:
  • 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