Designing checkers for programs that run in parallel
scientific article; zbMATH DE number 871308
scientific article