A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Stefan Leue, Alin Stefanescu, Wei Wei. A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems. In Christel Baier, Holger Hermanns, editors, CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings. Volume 4137 of Lecture Notes in Computer Science, pages 79-94, Springer, 2006. [doi]

This author has not been identified. Look up 'Stefan Leue' in GoogleThis author has not been identified. Look up 'Alin Stefanescu' in GoogleThis author has not been identified. Look up 'Wei Wei' in Google

runs on WebDSL