The University of Southampton
University of Southampton Institutional Repository

A Coequational Approach to Specifying Behaviours

Cirstea, Corina, (1999) A Coequational Approach to Specifying Behaviours Jacobs, B. and Rutten, J. (eds.) At 2nd International Workshop on Coalgebraic Methods in Computer Science. , pp. 142-163.

Record type: Conference or Workshop Item (Paper)

Abstract

A coalgebraic, equational approach to the specification of observational structures allowing for a choice in the result type of observations is presented. Coalgebraic operations whose result type is structured as a coproduct of basic types are considered, and notions of coterm, covariable and coequation, dual to the algebraic notions of term, variable and equation, are used to specify structures observable through such operations and to constrain their behaviour. A sound and complete deduction calculus for reasoning about observational properties expressed by coequations is then formulated.

PDF 19.011.pdf - Other
Download (267kB)

More information

Published date: 1999
Venue - Dates: 2nd International Workshop on Coalgebraic Methods in Computer Science, 1999-01-01
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 263006
URI: http://eprints.soton.ac.uk/id/eprint/263006
PURE UUID: 183de500-6fb2-4388-a0c8-2f4788053c2e

Catalogue record

Date deposited: 21 Sep 2006
Last modified: 18 Jul 2017 08:45

Export record

Contributors

Author: Corina Cirstea
Editor: B. Jacobs
Editor: J. Rutten

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.

×