Email Record: Structures in concurrency theory :