Mikhail Auguston, Peter Fritzson. PARFORMAN-an assertion language for specifying behaviour when debugging parallel applications. In 1993 Euromicro Workshop on Parallel and Distributed Processing, PDP 1993, Gran Canaria, Spain, 27-29 January 1993. pages 150-157, IEEE, 1993. [doi]
Abstract is missing.