Pages that link to "Item:Q1566912"
From MaRDI portal
The following pages link to A calculational approach to reactive systems (Q1566912):
Displaying 10 items.
- Sequential calculus (Q674261) (← links)
- Regular algebra applied to language problems (Q817577) (← links)
- Calculational verification of reactive programs with reactive relations and Kleene algebra (Q1617824) (← links)
- A calculus of chemical systems (Q1799313) (← links)
- Towards a design calculus for CSP (Q1916361) (← links)
- Unifying theories of reactive design contracts (Q2007732) (← links)
- Automated verification of reactive and concurrent programs by calculation (Q2043817) (← links)
- The refinement calculus of reactive systems (Q2672236) (← links)
- (Q3691474) (← links)
- (Q4370285) (← links)