Resource Usage Analysis for the ::::pi::::-Calculus - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Naoki Kobayashi, Kohei Suenaga, Lucian Wischik. Resource Usage Analysis for the ::::pi::::-Calculus. In E. Allen Emerson, Kedar S. Namjoshi, editors, Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings. Volume 3855 of Lecture Notes in Computer Science, pages 298-312, Springer, 2006. [doi]

This author has not been identified. Look up 'Naoki Kobayashi' in GoogleThis author has not been identified. Look up 'Kohei Suenaga' in GoogleThis author has not been identified. Look up 'Lucian Wischik' in Google

runs on WebDSL