Theoretical Computer Science and General Issues

Coalgebraic Methods in Computer Science

11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers

Editors: Pattinson, Dirk, Schröder, Lutz (Eds.)

  • State-of-the-art research
  • Fast-track conference proceedings
  • Unique visibility
see more benefits

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-32784-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $94.00
price for USA
  • ISBN 978-3-642-32783-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (13 chapters)

  • From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference

    Abramsky, Samson (et al.)

    Pages 1-19

  • Defining Context-Free Power Series Coalgebraically

    Bonsangue, Marcello M. (et al.)

    Pages 20-39

  • Relational Presheaves as Labelled Transition Systems

    Sobociński, Paweł

    Pages 40-50

  • On Finitary Functors and Their Presentations

    Adámek, Jiří (et al.)

    Pages 51-70

  • Structural Operational Semantics for Continuous State Probabilistic Processes

    Bacci, Giorgio (et al.)

    Pages 71-89

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-32784-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $94.00
price for USA
  • ISBN 978-3-642-32783-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Coalgebraic Methods in Computer Science
Book Subtitle
11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers
Editors
  • Dirk Pattinson
  • Lutz Schröder
Series Title
Theoretical Computer Science and General Issues
Series Volume
7399
Copyright
2012
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
IFIP International Federation for Information Processing
eBook ISBN
978-3-642-32784-1
DOI
10.1007/978-3-642-32784-1
Softcover ISBN
978-3-642-32783-4
Edition Number
1
Number of Pages
VII, 259
Number of Illustrations and Tables
7 b/w illustrations
Topics