Rigid Families for CCS and the π-calculus - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ioana Domnina Cristescu, Jean Krivine, Daniele Varacca. Rigid Families for CCS and the π-calculus. In Martin Leucker, Camilo Rueda, Frank D. Valencia, editors, Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings. Volume 9399 of Lecture Notes in Computer Science, pages 223-240, Springer, 2015. [doi]

This author has not been identified. Look up 'Ioana Domnina Cristescu' in GoogleThis author has not been identified. Look up 'Jean Krivine' in GoogleThis author has not been identified. Look up 'Daniele Varacca' in Google

runs on WebDSL