Zaslat SMS: Structures in concurrency theory :