Text this: CONCUR '94, concurrency theory :