The following pages link to Kaisa Sere (Q172356):
Displayed 21 items.
- Derivation of concurrent programs by stepwise scheduling of Event-B models (Q736912) (← links)
- (Q918203) (redirect page) (← links)
- Stepwise refinement of parallel algorithms (Q918204) (← links)
- Procedures and atomicity refinement (Q1350927) (← links)
- Coordinating action systems (Q1592481) (← links)
- Asynchronous system synthesis (Q1776590) (← links)
- Coordination in the ImpUNITY framework (Q1818367) (← links)
- Hybrid action systems (Q1853618) (← links)
- Superposition refinement of reactive systems (Q1918935) (← links)
- (Q2748153) (← links)
- (Q2912493) (← links)
- Refinement of Structured Interactive Systems (Q2938157) (← links)
- A Framework for Incorporating Trust into Formal Systems Development (Q3525082) (← links)
- (Q3614664) (← links)
- (Q4028640) (← links)
- (Q4249575) (← links)
- (Q4250668) (← links)
- (Q4251097) (← links)
- (Q4471916) (← links)
- (Q4499209) (← links)
- Data refinement of remote procedures (Q5930074) (← links)