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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Pattinson, Dirk (Επιμελητής έκδοσης), Schröder, Lutz (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Σειρά:Lecture Notes in Computer Science, 7399
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.