Concurrency, Specification and Programming