Kazuhide Yasukata

Publication Activity (10 Years)

Years Active: 2014-2016
Publications (10 Years): 1

Top Topics

Concurrent Programs

Asynchronous Circuits

Top Venues

Publications

Kazuhide Yasukata, Takeshi Tsukada, Naoki Kobayashi
Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation. APLAS (2016)
Kazuhide Yasukata, Naoki Kobayashi, Kazutaka Matsuda
Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking. CONCUR (2014)