Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives.

Germn Vidal

Browse the full FORTE paper archive.