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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Pattinson, Dirk (Editor ), Schröder, Lutz (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Edición:1st ed. 2012.
Colección:Theoretical Computer Science and General Issues, 7399
Temas:
Machine theory.
Computer science.
Computer science-Mathematics.
Mathematical statistics.
Formal Languages and Automata Theory.
Theory of Computation.
Computer Science Logic and Foundations of Programming.
Probability and Statistics in Computer Science.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares