Result: Labels from reductions : Towards a general theory

Title:
Labels from reductions : Towards a general theory
Authors:
KLIN, Bartek, SASSONE, Vladimiro, SOBOCINSKI, Pawel
Source:
Algebra and coalgebra in computer science (Swansea, 3-6 September 2005)Lecture notes in computer science. :30-50
Publisher Information:
Berlin: Springer, 2005.
Publication Year:
2005
Physical Description:
print, 17 ref
Original Material:
INIST-CNRS
Subject Terms:
Computer science, Informatique, Sciences exactes et technologie, Exact sciences and technology, Sciences appliquees, Applied sciences, Informatique; automatique theorique; systemes, Computer science; control theory; systems, Informatique théorique, Theoretical computing, Théorie programmation, Programming theory, Algèbre processus, Process algebra, Algebra proceso, Coalgèbre, Coalgebra, Système transition étiqueté, Labelled transition system, Sistema transición marcada
Document Type:
Conference Conference Paper
File Description:
text
Language:
English
Author Affiliations:
Warsaw University, University of Sussex, and PPS - Université Paris VII, France
ISSN:
0302-9743
Access URL:
http://pascal-francis.inist.fr/vibad/index.php?action=search&terms=17115897
Rights:
Copyright 2005 INIST-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Notes:
Computer science; theoretical automation; systems
Accession Number:
edscal.17115897
Database:
PASCAL Archive

Further Information

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