scientific article; zbMATH DE number 4013999

zbMATH Open0624.68012MaRDI QIDQ3026316FDOQ3026316

Authors: Thierry Gautier, Paul Le Guernic 

Publication date: 1987

Title of this publication is not available (Why is that?)

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

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)