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.. , pp. 30-50.

Download

[img] PDF luxesCALCO.pdf - Other
Download (190kB)

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)
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
ePrint ID: 261877
Date :
Date Event
2005Published
Date Deposited: 05 Feb 2006
Last Modified: 17 Apr 2017 21:50
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/261877

Actions (login required)

View Item View Item