Modeling Timed Concurrent Systems.

Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee

Browse the full CONCUR paper archive.