Coverart for item
The Resource Coalgebraic methods in computer science : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31-April 1, 2012 : revised selected papers, Dirk Pattinson, Lutz Schröder (eds.), (electronic resource)

Coalgebraic methods in computer science : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31-April 1, 2012 : revised selected papers, Dirk Pattinson, Lutz Schröder (eds.), (electronic resource)

Label
Coalgebraic methods in computer science : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31-April 1, 2012 : revised selected papers
Title
Coalgebraic methods in computer science
Title remainder
11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31-April 1, 2012 : revised selected papers
Statement of responsibility
Dirk Pattinson, Lutz Schröder (eds.)
Title variation
  • CMSC 2012
  • ETAPS 2012
Creator
Contributor
Subject
Genre
Language
eng
Summary
  • 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
  • Annotation:
Member of
Cataloging source
HUA
LC call number
QA76.9.M35
LC item number
W667 2012
http://bibfra.me/vocab/lite/meetingDate
2012
http://bibfra.me/vocab/lite/meetingName
Workshop on Coalgebraic Methods in Computer Science
http://library.link/vocab/relatedWorkOrContributorDate
  • 1970-
  • 2012
http://library.link/vocab/relatedWorkOrContributorName
  • Pattinson, Dirk
  • Schröder, Lutz
  • ETAPS (Conference)
Series statement
  • Lecture notes in computer science
  • LNCS Sublibrary. SL 1, Theoretical computer science and general issues
Series volume
7399
http://library.link/vocab/subjectName
  • Computer science
  • Computer software
Summary expansion
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
Label
Coalgebraic methods in computer science : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31-April 1, 2012 : revised selected papers, Dirk Pattinson, Lutz Schröder (eds.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and author index
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
Control code
OCM1bookssj0000745862
Dimensions
unknown
Isbn
9783642327834
Lccn
2012944439
Specific material designation
remote
System control number
(WaSeSS)bookssj0000745862
Label
Coalgebraic methods in computer science : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31-April 1, 2012 : revised selected papers, Dirk Pattinson, Lutz Schröder (eds.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and author index
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
Control code
OCM1bookssj0000745862
Dimensions
unknown
Isbn
9783642327834
Lccn
2012944439
Specific material designation
remote
System control number
(WaSeSS)bookssj0000745862

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...