Pages that link to "Item:Q2265792"

The following pages link to A functional model for describing and reasoning about time behaviour of computing systems (Q2265792):

Displaying 3 items.

• Clocks in dataflow languages (Q1185019) (← links)
• A denotational theory of synchronous reactive systems (Q1193599) (← links)
• A graphic language based on timing diagrams (Q5955785) (← links)