Klin, B., Sassone, V. and Sobocinski, P. (2005) Labels from Reductions: Towards a General Theory. 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.
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
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: 02 Dec 2019 21:07
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.