Paperback: 231 pagesPublisher: Springer; 1 edition (November 17, 2009)Language: EnglishISBN-10: 3642029949ISBN-13: 978-3642029943Format: PDFDescription: Coalgebraic logic is an important research topic in the areas of concurrency theory, semantics, transition systems and modal logics. It provides a general approach to modeling systems, allowing us to apply important results from coalgebras, universal algebra and category theory in [...]

more...