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 n/a
  • ISBN 978-3-540-73859-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
Softcover n/a
  • ISBN 978-3-540-73857-2
  • Free shipping for individuals worldwide

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 n/a
  • ISBN 978-3-540-73859-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
Softcover n/a
  • ISBN 978-3-540-73857-2
  • Free shipping for individuals worldwide
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