activity
20202025
most citedA Quantitative Study of Security Bug Fixes of GitHub Repositories

1 citations · 6 across the 8 of their papers we have counts for

collaborators
Showing 2021 · cs.PLShow all

1 paper · 2 filters

cs.PL2021★ 1 cited

Termination Analysis for the -Calculus by Reduction to Sequential Program Termination

Tsubasa Shoshi, Takuma Ishikawa, Naoki Kobayashi +3

We propose an automated method for proving termination of -calculus processes, based on a reduction to termination of sequential programs: we translate a -calculus process to…