The Real-Time Process Algebra (RTPA)

Yingxu Wang. The Real-Time Process Algebra (RTPA). Ann. Software Eng., 14(1-4):235-274, 2002.

Abstract

Abstract is missing.