scientific article; zbMATH DE number 1302026

zbMATH Open0927.03057MaRDI QIDQ4247268FDOQ4247268

Authors: Jean-Pierre Talpin, David Nowak 

Publication date: 5 October 1999

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

Recommendations

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

zbMATH Keywords

semanticsreactive systemsreal-time systemshigher-order processesexpressive type inference systemseamless extension of the synchronous language SIGNALtemporal and causal invariants

Mathematics Subject Classification ID

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

Cited In (7)

• A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines
• A denotational theory of synchronous reactive systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A model of reconfiguration in communicating sequential processes with a notion of transactions
• Reactive bisimulation semantics for a process algebra with timeouts

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)