Design and Implementation of Multi-Completion Procedures with Termination Checking.

Haruhiko Sato Masahito Kurihara Design and Implementation of Multi-Completion Procedures with Termination Checking. 33-40 2008 TMFCS conf/tmfcs/2008 db/conf/tmfcs/tmfcs2008.html#SatoK08