Gary Donnan

• An operational abstraction mechanism for concurrent programming