B. D. Lubachevsky

• An approach to automating the verification of compact parallel coordination programs. I
• An approach to automating the verification of compact parallel coordination programs. II
• Process-level, time driven, simulation of a computer network on a parallel shared-memory processor
• Verification of several parallel coordination programs based on descriptions of their reachability sets