Modeling behavioral design patterns of concurrent objects.

Robert G. Pettit IV, Hassan Gomaa

Browse the full ICSE paper archive.