Conditional rewrite rules as an algebraic semantics of processes

Eric Badouel 1
1 MICAS - Modèles et implémentation des calculs syntaxiques
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires
Abstract : We show that processes defined by equational identities together with conditional rewrite rules in Plotkin style can be given a purely algebraic description. A category of algebraic structures allowing for the specific nature of those languages is defined and its categorical properties are investigated. In particular it is shown how to derive new models from old by adding constraints either on the algebraic structures or on the categories in which their algebras lives.
Type de document :
[Research Report] RR-1226, INRIA. 1990
Liste complète des métadonnées
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 17:59:30
Dernière modification le : mercredi 16 mai 2018 - 11:23:13
Document(s) archivé(s) le : mardi 12 avril 2011 - 22:36:18



  • HAL Id : inria-00075332, version 1


Eric Badouel. Conditional rewrite rules as an algebraic semantics of processes. [Research Report] RR-1226, INRIA. 1990. 〈inria-00075332〉



Consultations de la notice


Téléchargements de fichiers