Structural operational specifications and trace automata - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1992

Structural operational specifications and trace automata

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.

Domains

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

Dates and versions

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

Identifiers

  • HAL Id : inria-00074930 , version 1

Cite

Eric Badouel, Philippe Darondeau. Structural operational specifications and trace automata. [Research Report] RR-1631, INRIA. 1992. ⟨inria-00074930⟩
83 View
106 Download

Share

Gmail Facebook Twitter LinkedIn More