My Library

University LibraryCatalogue

For faster,
Use Lean
Get it now
Don't show me again
Limit search to items available for borrowing or consultation
Result Page: Previous Next
Can't find that book? Try BONUS+
Look for full text

Search Discovery

Search CARM Centre Catalogue

Search Trove

Add record to RefWorks

Cover Art
Author Workshop on Coalgebraic Methods in Computer Science (11th : 2012 : Tallinn, Estonia)

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

Published Heidelberg : Springer, 2012.


Location Call No. Status
Physical description 1 online resource.
Series Lecture notes in computer science, 1611-3349 ; 7399
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science ; 7399. 0302-9743
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Springer Lecture Notes in Computer Science
Bibliography Includes bibliographical references and author index.
Contents From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference / Samson Abramsky and Jonathan Zvesper -- Defining Context-Free Power Series Coalgebraically / Marcello M. Bonsangue, Jan Rutten and Joost Winter -- Relational Presheaves as Labelled Transition Systems / Paweł Sobociński -- On Finitary Functors and Their Presentations / Jiří Adámek, Stefan Milius and Lawrence S. Moss -- Structural Operational Semantics for Continuous State Probabilistic Processes / Giorgio Bacci and Marino Miculan -- Stream Automata Are Coalgebras / Vincenzo Ciancia and Yde Venema -- Trace Semantics via Determinization / Bart Jacobs, Alexandra Silva and Ana Sokolova -- An Alpha-Corecursion Principle for the Infinitary Lambda Calculus / Alexander Kurz, Daniela Petrişan, Paula Severi and Fer-Jan de Vries -- Lax Extensions of Coalgebra Functors / Johannes Marti and Yde Venema -- From Transitions to Executions / Eleftherios Matsikoudis and Edward A. Lee -- Tracing the Man in the Middle in Monoidal Categories / Dusko Pavlovic -- Permutations in Coinductive Graph Representation / Celia Picard and Ralph Matthes -- Internal Models for Coalgebraic Modal Logics / Toby Wilkinson.
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.
Other author Pattinson, Dirk, 1970-
Schröder, Lutz.
SpringerLink issuing body.
ETAPS (Conference) (2012 : Tallinn, Estonia)
Subject Computer science -- Mathematics -- Congresses.
Computer software -- Mathematics -- Congresses.
Electronic books.
Variant Title CMSC 2012
ETAPS 2012
ISBN 9783642327841