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: 18 Jul 2017 08:57
Export record
Contributors
Author:
B. Klin
Author:
V. Sassone
Author:
P. Sobocinski
University divisions
- Faculties (pre 2018 reorg) > Faculty of Physical Sciences and Engineering (pre 2018 reorg) > Electronics & Computer Science (pre 2018 reorg) > Cyber Physical Systems (pre 2018 reorg)
Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Electronics & Computer Science (pre 2018 reorg) > Cyber Physical Systems (pre 2018 reorg)
School of Electronics and Computer Science > Electronics & Computer Science (pre 2018 reorg) > Cyber Physical Systems (pre 2018 reorg)
Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Cyber Physical Systems > Cyber Physical Systems (pre 2018 reorg)
School of Electronics and Computer Science > Cyber Physical Systems > Cyber Physical Systems (pre 2018 reorg) - Faculties (pre 2018 reorg) > Faculty of Physical Sciences and Engineering (pre 2018 reorg) > Electronics & Computer Science (pre 2018 reorg) > Web & Internet Science (pre 2018 reorg)
Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Electronics & Computer Science (pre 2018 reorg) > Web & Internet Science (pre 2018 reorg)
School of Electronics and Computer Science > Electronics & Computer Science (pre 2018 reorg) > Web & Internet Science (pre 2018 reorg)
Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Web and Internet Science > Web & Internet Science (pre 2018 reorg)
School of Electronics and Computer Science > Web and Internet Science > Web & Internet Science (pre 2018 reorg)
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.