An approach to automating the verification of compact parallel coordination programs. II View on Open Library

An approach to automating the verification of compact parallel coordination programs. II

by B. D. Lubachevsky

No reviews yet
First published: 1983 1 language

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by B. D. Lubachevsky

An approach to automating the verification of compact parallel coordination programs. I

An approach to automating the verificati...

Process-level, time driven, simulation of a computer network on a parallel shared-memory processor

Process-level, time driven, simulation o...

Verification of several parallel coordination programs based on descriptions of their reachability sets

Verification of several parallel coordin...