Labels from Reductions: Towards a General Theory


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

Download

[img] PDF
Download (185Kb)

Description/Abstract

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

Item Type: Conference or Workshop Item (Paper)
ISBNs: 3540286209
Keywords: bisimulation congruences, reduction systems, transition systems, coinduction
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Web & Internet Science
Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 261877
Date Deposited: 05 Feb 2006
Last Modified: 27 Mar 2014 20:04
Further Information:Google Scholar
ISI Citation Count:6
URI: http://eprints.soton.ac.uk/id/eprint/261877

Actions (login required)

View Item View Item

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