Concurrent Programming with Harmony (via hwayne) — discussion

#book #formalmethods