An Operational Semantics of Real-Time Process Algebra (RTPA)

Yingxu Wang, Cyprian F. Ngolah. An Operational Semantics of Real-Time Process Algebra (RTPA). IJCINI, 2(3):71-89, 2008. [doi]

Abstract

Abstract is missing.