An approach to automating the verification of compact parallel coordination programs. I
shared memory asynchronous parallel processor
scientific article; zbMATH DE number 3827177
scientific article