scientific article; zbMATH DE number 4013999

MaRDI QIDQ3026316zbMATH OpenFDO

Authors Thierry Gautier, Paul Le Guernic

Publication date 1987

zbMATH Keywords

signalsapplicative languageclock calculuscommunication eventsdata flow languagesynchronous notion of time

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25)

Cited in

(3)

• Foundations of Boolean stream runtime verification
• Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications
• Formal verification of synchronous data-flow program transformations toward certified compilers

Describes a project that uses

Uses Software

• SIGNAL

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3026316)