Labels from Reductions: Towards a General Theory

Klin, B., Sassone, V. and Sobocinski, P. (2005) Labels from Reductions: Towards a General Theory. At First International Conference on Algebras and Coalgebras in Computer Science. First International Conference on Algebras and Coalgebras in Computer Science.. pp. 30-50.

Record type: Conference or Workshop Item (Paper)

Abstract

We consider open terms and parametric rules in the context of the systematic derivation of labelled transitions from reduction systems.

PDF luxesCALCO.pdf - Other

Download (190kB)

More information

Published date: 2005

Venue - Dates: First International Conference on Algebras and Coalgebras in Computer Science., 2005-01-01

Keywords: bisimulation congruences, reduction systems, transition systems, coinduction

Organisations: Web & Internet Science, Electronic & Software Systems

Learn more about CPS research Learn more about Web Science research

Identifiers

Local EPrints ID: 261877

URI: https://eprints.soton.ac.uk/id/eprint/261877

ISBN: 3-540-28620-9

PURE UUID: b66a8cca-964d-4787-9bb7-a9b12379f6b2

Catalogue record

Date deposited: 05 Feb 2006

Last modified: 18 Jul 2017 08:57

Export record

Contributors

Author: B. Klin

Author: V. Sassone

Author: P. Sobocinski

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

Library staff additional information