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