A Family of Resource-Bound Real-Time Process Algebras.

Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Philippou, Oleg Sokolsky

Browse the full FORTE paper archive.