Modeling Timed Concurrent Systems

Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee. Modeling Timed Concurrent 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 1-15, Springer, 2006. [doi]

Authors

Xiaojun Liu

This author has not been identified. Look up 'Xiaojun Liu' in Google

Eleftherios Matsikoudis

This author has not been identified. Look up 'Eleftherios Matsikoudis' in Google

Edward A. Lee

This author has not been identified. Look up 'Edward A. Lee' in Google