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

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

by B. D. Lubachevsky

No reviews yet
First published: 1981 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...

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

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...