Lubachevsky B D

Lubachevsky, B: Parallelizing An Algorithm Of Charles S. Pes

An Approach To Automating The Verification Of Compact Parallel Coordination Programs, Vol. 1 (Classic Reprint)

An Approach To Automating The Verification Of Compact Parallel Coordination Programs Ii (Classic Reprint)

Parallelizing An Algorithm Of Charles S. Peskin For Describing Incompressible Flow Of A Fluid Coupled To An Elastic Membrane

Lubachevsky, B: Process-Level, Time-Driven, Simulation Of A