Sciweavers

Share
FSTTCS
1998
Springer

A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems

8 years 7 months ago
A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation of complex systems by structurally decomposing them into elementary synchronous processes. To maximize the support for the generic implementation and the dynamic reconfigurability of reactive systems, we introduce a semantics of higherorder processes in a seamless extension of the synchronous language Signal. To enable the correct specification and the modular implementation of systems, we introduce an expressive type inference system for characterizing their temporal and causal invariants.
Jean-Pierre Talpin, David Nowak
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1998
Where FSTTCS
Authors Jean-Pierre Talpin, David Nowak
Comments (0)
books