Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/1833
Full metadata record
DC FieldValueLanguage
dc.contributor.authorKurz, Alexanderen_GB
dc.date.accessioned2009-12-08T16:14:18Z-
dc.date.available2009-12-08T16:14:18Z-
dc.date.issued2001en_GB
dc.identifier.citationTheoretical Computer Science, 2001, 260 (01-Feb), pp.119-138en_GB
dc.identifier.issn0304-3975en_GB
dc.identifier.urihttp://www.sciencedirect.com/science/article/pii/S0304397500001250en_GB
dc.identifier.urihttp://hdl.handle.net/2381/1833-
dc.description.abstractWe propose to use modal logic as a logic for coalgebras and discuss it in view of the work done on coalgebras as a semantics of object-oriented programming. Two approaches are taken: First, standard concepts of modal logic are applied to coalgebras. For a certain kind of functor it is shown that the logic exactly captures the notion of bisimulation and a complete calculus is given. Examples of verifications of object properties are given. Second, we discuss the relationship of this approach with the coalgebraic logic of Moss (Coalgebraic logic, Ann Pure Appl. Logic 96 (1999) 277–317.).-
dc.formatMetadataen_GB
dc.language.isoenen_GB
dc.titleSpecifying coalgebras with modal logic.en_GB
dc.typeArticleen_GB
dc.identifier.doi10.1016/S0304-3975(00)00125-0-
dc.relation.raeRAE 2007-
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
There are no files associated with this item.


Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.