The following pages link to A UTP approach for rTiMo (Q1624596):
Displaying 5 items.
- Angelic processes for CSP via the UTP (Q1757156) (← links)
- A process calculus BigrTiMo of mobile systems and its formal semantics (Q2026376) (← links)
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP (Q2198135) (← links)
- Three Approaches to Timed External Choice in UTP (Q2814612) (← links)
- Domain modelling: a foundation for software development (Q6535830) (← links)