Artifact Details

Title

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

Catalog Number

102660230

Type

Text

Date

1981-07

Author

Lubachevsky, B.D.

Publisher

New York University (NYU). Courant Institute of Mathematical Sciences.

Category

Technical report

Collection Title

Company Collection

Lot Number

X3067.2005