Theoretical Computer Science and General Issues

Algebra and Coalgebra in Computer Science

Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings

Editors: Mossakowski, Till, Montanari, Ugo, Haveraaen, Magne (Eds.)

  • Two-pronged approach tackles algebras and coalgebras as mathematical objects as well as in the context of their application in computer science
  • Papers cover topics including abstract models and logics, and specialized models and calculi
  • Online files and updates included
see more benefits

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-3-540-73859-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA
  • ISBN 978-3-540-73857-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (30 chapters)

  • Regular and Algebraic Words and Ordinals

    Bloom, S. L. (et al.)

    Pages 1-15

  • Logical Semantics of Types for Concurrency

    Caires, Luís

    Pages 16-35

  • Deriving Bisimulation Congruences with Borrowed Contexts

    König, Barbara

    Pages 36-39

  • Symmetry and Concurrency

    Winskel, Glynn

    Pages 40-64

  • Ready to Preorder: Get Your BCCSP Axiomatization for Free!

    Aceto, Luca (et al.)

    Pages 65-79

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-3-540-73859-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA
  • ISBN 978-3-540-73857-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Algebra and Coalgebra in Computer Science
Book Subtitle
Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings
Editors
  • Till Mossakowski
  • Ugo Montanari
  • Magne Haveraaen
Series Title
Theoretical Computer Science and General Issues
Series Volume
4624
Copyright
2007
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-73859-6
DOI
10.1007/978-3-540-73859-6
Softcover ISBN
978-3-540-73857-2
Edition Number
1
Number of Pages
XI, 463
Topics