An Implicitly-Typed Deadlock-Free Process Calculus - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Naoki Kobayashi, Shin Saito, Eijiro Sumii. An Implicitly-Typed Deadlock-Free Process Calculus. In Catuscia Palamidessi, editor, CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings. Volume 1877 of Lecture Notes in Computer Science, pages 489-503, Springer, 2000. [doi]

This author has not been identified. Look up 'Naoki Kobayashi' in GoogleThis author has not been identified. Look up 'Shin Saito' in GoogleThis author has not been identified. Look up 'Eijiro Sumii' in Google

runs on WebDSL