Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking. - Kazuhide Yasukata; Naoki Kobayashi 001; Kazutaka Matsuda (CONCUR, 2014)

Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation. - Kazuhide Yasukata; Takeshi Tsukada; Naoki Kobayashi 001 (APLAS, 2016)