A Model for Real-Time Process Algebras (Extended Abstract).

Liang Chen

Browse the full MFCS paper archive.