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
Publisher: Springer
Further Information:Google Scholar
ISI Citation Count:6
URI: http://eprints.soton.ac.uk/id/eprint/261877

Actions (login required)

View Item View Item