scientific article
From MaRDI portal
Publication:3736900
zbMath0601.68028MaRDI QIDQ3736900
Paul Le Guernic, Thierry Gautier, Patricia Bournai, Albert Benveniste
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
Semantic Foundations for Deterministic Dataflow and Stream Processing ⋮ An axiomatic semantics for the synchronous language Gentzen. ⋮ Sémantique du parallélisme et du choix du langage Electre ⋮ Clocks in dataflow languages ⋮ Compilation of the ELECTRE reactive language into finite transition systems ⋮ Operational semantics of a kernel of the language ELECTRE ⋮ A compositional axiomatization of statecharts ⋮ On the semantics of polychronous polytimed specifications
This page was built for publication:
