Email Record: CONCUR '94, concurrency theory :