Pages that link to "Item:Q1183545"
From MaRDI portal
The following pages link to Synchronous programming with events and relations: The SIGNAL language and its semantics (Q1183545):
Displaying 17 items.
- Multi-task implementation of multi-periodic synchronous programs (Q645055) (← links)
- Compilation of the ELECTRE reactive language into finite transition systems (Q673127) (← links)
- The semantics and execution of a synchronous block-diagram language. (Q1400471) (← links)
- Timed-pNets: a communication behavioural semantic model for distributed systems (Q1633067) (← links)
- Syntactical and semantical aspects of Faust (Q1769672) (← links)
- Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation (Q1779321) (← links)
- Compositionality in dataflow synchronous languages: Specification and distributed code generation (Q1854388) (← links)
- Interpreting message flow graphs (Q1904641) (← links)
- Algebraic quantitative semantics for efficient online temporal monitoring (Q2044210) (← links)
- Synchronous structures (Q2500524) (← links)
- A compositional behavioral modeling framework for embedded system design and conformance checking (Q2506261) (← links)
- Rigorous implementation of real-time systems -- from theory to application (Q2843865) (← links)
- Semantic Foundations for Deterministic Dataflow and Stream Processing (Q5041103) (← links)
- On Implementable Timed Automata (Q5041274) (← links)
- TCC, with History (Q5418978) (← links)
- Abstraction of Clocks in Synchronous Data-Flow Systems (Q5502727) (← links)
- Causal semantics for the algebra of connectors (Q5962120) (← links)