Labels from reductions: towards a general theory

  • Authors:

  • Bartek Klin;Vladimiro Sassone;Paweł Sobociński

  • Affiliations:

  • Warsaw University, University of Sussex, and PPS – Université Paris VII;Warsaw University, University of Sussex, and PPS – Université Paris VII;Warsaw University, University of Sussex, and PPS – Université Paris VII

  • Venue:
  • CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

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