Rahardjo, Budi2013-04-182013-04-181996http://hdl.handle.net/1993/19312x, 150 leaves :engFormal verification of asynchronous systemsdoctoral thesis