The University of Southampton
University of Southampton Institutional Repository

On specification logics for algebra-coalgebra structures: reconciling reachability and observability

Cirstea, Corina, (2002) On specification logics for algebra-coalgebra structures: reconciling reachability and observability Nielsen, M. and Engberg, U. (eds.) At Foundations of Software Science and Computation Structures Conference, France. 10 - 12 Apr 2002. , pp. 82-97.

Record type: Conference or Workshop Item (Paper)

Abstract

The paper builds on recent results regarding the expressiveness of modal logics for coalgebras in order to introduce a specification framework for coalgebraic structures which offers support for modular specification. An equational specification framework for algebraic structures is obtained in a similar way. The two frameworks are then integrated in order to account for structures comprising both a coalgebraic (observational) component and an algebraic (computational) component. The integration results in logics whose sentences are either coalgebraic (modal) or algebraic (equational) in nature, but whose associated notions of satisfaction take into account both the coalgebraic and the algebraic features of the structures being specified. Each of the logics thus obtained also supports modular specification.

PDF lncs.pdf - Other
Download (200kB)

More information

Published date: 2002
Additional Information: Event Dates: 10-12 April 2002
Venue - Dates: Foundations of Software Science and Computation Structures Conference, France, 2002-04-10 - 2002-04-12
Keywords: algebraic specification, equational logic, coalgebraic specification, modal logic
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 259116
URI: http://eprints.soton.ac.uk/id/eprint/259116
PURE UUID: afcb8124-1a4b-4c87-8bb9-b38b902aeb4c

Catalogue record

Date deposited: 12 Mar 2004
Last modified: 18 Jul 2017 09:25

Export record

Contributors

Author: Corina Cirstea
Editor: M. Nielsen
Editor: U. Engberg

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×