Checking Concurrency Coding Rules.

Lars-ke Fredlund, ngel Herranz, Julio Mario

Browse the full PADL paper archive.