Wang, Qing (Ms)2015-12-080302-9743http://hdl.handle.net/1885/29752Abstract State Machines for Data-Parallel Computing201210.1007/978-3-642-28279-9_112016-06-14