Structural operational specifications and trace automata - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1992

Structural operational specifications and trace automata

Résumé

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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-1631.pdf (1.7 Mo) Télécharger le fichier

Dates et versions

inria-00074930 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00074930 , version 1

Citer

Eric Badouel, Philippe Darondeau. Structural operational specifications and trace automata. [Research Report] RR-1631, INRIA. 1992. ⟨inria-00074930⟩
84 Consultations
108 Téléchargements

Partager

Gmail Facebook X LinkedIn More