PARFORMAN-an assertion language for specifying behaviour when debugging parallel applications.

Mikhail Auguston, Peter Fritzson

Browse the full PDP paper archive.