Pages that link to "Item:Q1193599"
From MaRDI portal
The following pages link to A denotational theory of synchronous reactive systems (Q1193599):
Displaying 16 items.
- Compilation of the ELECTRE reactive language into finite transition systems (Q673127) (← links)
- Constraint nets: a semantic model for hybrid dynamic systems (Q673883) (← links)
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- The SL synchronous language, revisited (Q864504) (← links)
- Synchronous programming with events and relations: The SIGNAL language and its semantics (Q1183545) (← links)
- The Esterel synchronous programming language: Design, semantics, implementation (Q1196296) (← links)
- An axiomatic semantics for the synchronous language Gentzen. (Q1400575) (← links)
- Compositionality in dataflow synchronous languages: Specification and distributed code generation (Q1854388) (← links)
- Specification and analysis of synchronous reactions (Q1882806) (← links)
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency (Q2350494) (← links)
- A synchronous \(\pi\)-calculus (Q2381508) (← links)
- Synchronous structures (Q2500524) (← links)
- Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras (Q2848943) (← links)
- Constructive Polychronous Systems (Q3455857) (← links)
- (Q3680256) (← links)
- Fundamental Approaches to Software Engineering (Q5316433) (← links)