The following pages link to (Q3700805):
Displaying 4 items.
- Algebraic specification of concurrent systems (Q914405) (← links)
- On specification of multiprocessor computing (Q1825628) (← links)
- Compositional refinements in multiple blackboard systems (Q1899098) (← links)
- A technique for specifying and refining TCSP processes by using guards and liveness conditions (Q5044746) (← links)