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]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
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 and Applied Science > Electronics and Computer Science > Web & Internet Science Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 261877 |
| Date Deposited: | 05 Feb 2006 |
| Last Modified: | 10 Mar 2012 11:25 |
| Contributors: | Klin, B. (Author) Sassone, V. (Author) Sobocinski, P. (Author) |
| Date: | 2005 |
| Status: | Published |
| Publisher: | Springer |
| Further Information: | Google Scholar |
| ISI Citation Count: | 6 |
| URI: | http://eprints.soton.ac.uk/id/eprint/261877 |
Actions (login required)
 |
View Item |
