Pages that link to "Item:Q2672236"
From MaRDI portal
The following pages link to The refinement calculus of reactive systems (Q2672236):
Displaying 6 items.
- Developing reactive systems in a VDM framework (Q685617) (← links)
- A denotational theory of synchronous reactive systems (Q1193599) (← links)
- A calculational approach to reactive systems (Q1566912) (← links)
- (Q4370285) (← links)
- (Q5150130) (← links)
- A Compositional Semantics of Reaction Systems with Restriction (Q5326381) (← links)