Compositional verification of termination-preserving refinement of concurrent programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hongjin Liang, Xinyu Feng, Zhong Shao. Compositional verification of termination-preserving refinement of concurrent programs. In Thomas A. Henzinger, Dale Miller, editors, Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014. pages 65, ACM, 2014. [doi]

This author has not been identified. Look up 'Hongjin Liang' in GoogleThis author has not been identified. Look up 'Xinyu Feng' in GoogleThis author has not been identified. It may be one of the following persons:

Zhong Shao

Look up 'Zhong Shao' in Google

runs on WebDSL