Structural operational specifications and trace automata

Eric Badouel 1 Philippe Darondeau 1
1 MICAS - Modèles et implémentation des calculs syntaxiques
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires
Abstract : Structural operational specifications (SOS) are supplied with concurrent models based on permutations of proved transitions in the form of trace automata which are deterministic automata equipped with an explicit relation of independence on actions. In order to characterize the finite trace automata which are realized by SOS-algebras, we introduce a new kind of nets which encode exactly the concurrent behaviour of systems specified in SOS and we establish a correspondence between nets and those "seperated" trace automata which are realized in SOS.
Type de document :
Rapport
[Research Report] RR-1631, INRIA. 1992
Liste complète des métadonnées

https://hal.inria.fr/inria-00074930
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 16:59:47
Dernière modification le : mercredi 16 mai 2018 - 11:23:13
Document(s) archivé(s) le : mardi 12 avril 2011 - 20:09:07

Fichiers

Identifiants

  • HAL Id : inria-00074930, version 1

Citation

Eric Badouel, Philippe Darondeau. Structural operational specifications and trace automata. [Research Report] RR-1631, INRIA. 1992. 〈inria-00074930〉

Partager

Métriques

Consultations de la notice

151

Téléchargements de fichiers

54