Research Interests

Concurrency theory