scientific article; zbMATH DE number 1302026

MaRDI QIDQ4247268zbMATH OpenFDO

Authors Jean-Pierre Talpin, David Nowak

Publication date 5 October 1999

zbMATH Keywords

expressive type inference systemhigher-order processesreactive systemsreal-time systemsseamless extension of the synchronous language SIGNALsemanticstemporal and causal invariants

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1361139
• scientific article; zbMATH DE number 1760146
• Synchronous structures
• A denotational theory of synchronous reactive systems

Cited in

(7)

• A model of reconfiguration in communicating sequential processes with a notion of transactions
• A denotational theory of synchronous reactive systems
• A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines
• Reactive bisimulation semantics for a process algebra with timeouts
• scientific article; zbMATH DE number 1692943 (Why is no real title available?)
• scientific article; zbMATH DE number 4124989 (Why is no real title available?)
• scientific article; zbMATH DE number 1760146 (Why is no real title available?)

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 Q4247268)