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]

Authors

Yingxu Wang

This author has not been identified. Look up 'Yingxu Wang' in Google

Cyprian F. Ngolah

This author has not been identified. Look up 'Cyprian F. Ngolah' in Google