Time Complexity of Concurrent Programs - - A Technique Based on Behavioural Types - - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka-I Pun. Time Complexity of Concurrent Programs - - A Technique Based on Behavioural Types -. In Christiano Braga, Peter Csaba Ölveczky, editors, Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Volume 9539 of Lecture Notes in Computer Science, pages 199-216, Springer, 2015. [doi]

This author has not been identified. Look up 'Elena Giachino' in GoogleThis author has not been identified. Look up 'Einar Broch Johnsen' in GoogleThis author has not been identified. Look up 'Cosimo Laneve' in GoogleThis author has not been identified. Look up 'Ka-I Pun' in Google

runs on WebDSL