Book Details

978-3-540-73859-6

Algebra and Coalgebra in Computer Science

Publication year: 2007

ISBN: 978-3-540-73859-6

Internet Resource: Please Login to download book


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.


Subject: Computer Science, Bisimulation, Computer, Maude, automata, calculi, formal methods, formal testing, graph logic, higher order processes, logic, modeling, petri net, semantics, specification-based, verification