98
Voted
ENTCS
2002
15 years 2 days ago
2002
We show that the traditional notion of superposition as used for supporting parallel program design can subsume both composition and refinement relationships when non-deterministi...