Book Details

Algebra and Coalgebra in Computer Science

Publication year: 2005

ISBN: 978-3-540-31876-7

Internet Resource: Please Login to download book


CALCO, the Conference on Algebra and Coal-gebra in Computer Science, was created to bring together researchers and practitio-ners to exchange new results related to foundational aspects, and both traditional and emerging uses of algebras and coalgebras in computer science. CALCO 2005 was the first instance of this new conference. The interest that it generated in the scientific community suggests that it will not be the last. Indeed, it attracted as many as 62 submissions covering a wide range of topics roughly divided into two areas: Algebras and Coalgebras as Mathematical Objects: Automata and languages; categorical semantics; hybrid, probabilistic, and timed systems; inductive and coin-ductive methods; modal logics; relational systems and term rewriting.


Subject: Computer Science, Automat, Hardware, Middleware, automata, computer, computer science, modeling programming, programming language, quality assurance, semantics, term rewriting, verification