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 :
Rapport
[Research Report] RR-1226, INRIA. 1990
Liste complète des métadonnées

https://hal.inria.fr/inria-00075332
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 17:59:30
Dernière modification le : jeudi 11 janvier 2018 - 06:21:19
Document(s) archivé(s) le : mardi 12 avril 2011 - 22:36:18

Fichiers

Identifiants

  • HAL Id : inria-00075332, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

173

Téléchargements de fichiers

54