Functions as Processes: Termination and the lm[(m)/tilde]/lambda/mu/widetilde{/mu}-Calculus - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Matteo Cimini, Claudio Sacerdoti Coen, Davide Sangiorgi. Functions as Processes: Termination and the lm[(m)/tilde]/lambda/mu/widetilde{/mu}-Calculus. In Martin Wirsing, Martin Hofmann, Axel Rauschmayer, editors, Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers. Volume 6084 of Lecture Notes in Computer Science, pages 73-86, Springer, 2010. [doi]

This author has not been identified. Look up 'Matteo Cimini' in GoogleThis author has not been identified. It may be one of the following persons:

Claudio Sacerdoti Coen

Look up 'Claudio Sacerdoti Coen' in GoogleThis author has not been identified. Look up 'Davide Sangiorgi' in Google

runs on WebDSL