The following pages link to Constructive Polychronous Systems (Q3455857):
Displaying 6 items.
- Compositional design of isochronous systems (Q456402) (← links)
- A metamodel for the design of polychronous systems (Q1014564) (← links)
- On the semantics of polychronous polytimed specifications (Q1996008) (← links)
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency (Q2350494) (← links)
- Formal Methods for Components and Objects (Q5311287) (← links)
- Runtime verification of real-time event streams using the tool HStriver (Q6185821) (← links)