Title: Concurrency, Specification and Programming