Hans M. Jacobson Erik Brunvand Ganesh Gopalakrishnan Prabhakar Kudva High-Level Asynchronous System Design Using the ACK Framework. 93-103 2000 conf/async/2000 ASYNC http://csdl.computer.org/comp/proceedings/async/2000/0586/00/05860093abs.htm db/conf/async/async2000.html#JacobsonBGK00