The following pages link to Alloy (Q13987):
Displaying 4 items.
- Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API (Q617917) (← links)
- Policy analysis for administrative role-based access control (Q655414) (← links)
- The behavioural semantics of Event-B refinement (Q736910) (← links)
- An algebraic semantics for MOF (Q973052) (← links)
