The following pages link to (Q3123380):
Displaying 7 items.
- A state-based approach to communicating processes (Q1112600) (← links)
- On an effective hierarchy of communicating processes: Separation principle and testing (Q1269918) (← links)
- A refinement calculus for shared-variable parallel and distributed programming (Q1402468) (← links)
- On specification of multiprocessor computing (Q1825628) (← links)
- Specifying the Caltech asynchronous microprocessor (Q1916360) (← links)
- (Q3680258) (← links)
- (Q5457648) (← links)