The Real-Time Process Algebra (RTPA (0)

by Y Wang
Venue:Annals of Software Engineering