Theoretical Computer Science and General Issues

Algebra and Coalgebra in Computer Science

4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings

Editors: Corradini, Andrea, Klin, Bartek, Cîrstea, Corina (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-22944-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-642-22943-5
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
About this book

This book constitutes the refereed proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011, held in Winchester, UK, in August/September 2011. The 21 full papers presented together with 4 invited talks were carefully reviewed and selected from 41 submissions. The papers report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. They cover topics in the fields of abstract models and logics, specialized models and calculi, algebraic and coalgebraic semantics, and system specification and verification. The book also includes 6 papers from the CALCO-tools Workshop, colocated with CALCO 2011 and dedicated to tools based on algebraic and/or coalgebraic principles.

Table of contents (32 chapters)

  • On the Statistical Thermodynamics of Reversible Communicating Processes

    Bacci, Giorgio (et al.)

    Pages 1-18

  • Solving Fixed-Point Equations by Derivation Tree Analysis

    Esparza, Javier (et al.)

    Pages 19-35

  • Abstract Local Reasoning for Program Modules

    Dinsdale-Young, Thomas (et al.)

    Pages 36-39

  • Infinite Computation, Co-induction and Computational Logic

    Gupta, Gopal (et al.)

    Pages 40-54

  • From Corecursive Algebras to Corecursive Monads

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

    Pages 55-69

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-22944-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-642-22943-5
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Algebra and Coalgebra in Computer Science
Book Subtitle
4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings
Editors
  • Andrea Corradini
  • Bartek Klin
  • Corina Cîrstea
Series Title
Theoretical Computer Science and General Issues
Series Volume
6859
Copyright
2011
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-22944-2
DOI
10.1007/978-3-642-22944-2
Softcover ISBN
978-3-642-22943-5
Edition Number
1
Number of Pages
XI, 420
Number of Illustrations and Tables
112 b/w illustrations, 6 illustrations in colour
Topics