Algebra and Coalgebra in Computer Science
Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings| By: | Till Mossakowski; Ugo Montanari; Magne Haveraaen |
| Publisher: | Springer Nature |
| Print ISBN: | 9783540738572 |
| eText ISBN: | 9783540738596 |
| Edition: | 1 |
| Copyright: | 2007 |
| Format: | Page Fidelity |
eBook Features
Instant Access
Purchase and read your book immediately
Read Offline
Access your eTextbook anytime and anywhere
Study Tools
Built-in study tools like highlights and more
Read Aloud
Listen and follow along as Bookshelf reads to you
A double-pronged approach makes this book an extremely useful addition to the literature on this highly relevant contemporary topic. Addressing two basic areas of application for algebras and coalgebras – as mathematical objects as well as in the context of their application in computer science – the papers cover topics such as abstract models and logics, specialised models and calculi, algebraic and coalgebraic semantics, and system specification and verification. The book is the refereed proceedings of the second CALCO conference, held in August 2007 in Norway.