Termination Analysis for the $$\pi $$-Calculus by Reduction to Sequential Program Termination - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tsubasa Shoshi, Takuma Ishikawa, Naoki Kobayashi 0001, Ken Sakayori, Ryosuke Sato, Takeshi Tsukada. Termination Analysis for the $$\pi $$-Calculus by Reduction to Sequential Program Termination. In Hakjoo Oh, editor, Programming Languages and Systems - 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings. Volume 13008 of Lecture Notes in Computer Science, pages 265-284, Springer, 2021. [doi]

This author has not been identified. Look up 'Tsubasa Shoshi' in GoogleThis author has not been identified. Look up 'Takuma Ishikawa' in GoogleThis author has not been identified. Look up 'Naoki Kobayashi 0001' in GoogleThis author has not been identified. Look up 'Ken Sakayori' in GoogleThis author has not been identified. Look up 'Ryosuke Sato' in GoogleThis author has not been identified. Look up 'Takeshi Tsukada' in Google

runs on WebDSL