CCS + Time = An Interleaving Model for Real Time Systems.

Wang Yi

Browse the full ICALP paper archive.