An Approach to Automating the Verification of Compact Parallel Coordination Programs, Vol. 1 (Classic Reprint) - Hardcover

Lubachevsky, B. D.

 
9780266900924: An Approach to Automating the Verification of Compact Parallel Coordination Programs, Vol. 1 (Classic Reprint)