Lee, InsupChoi, Jin-YoungKwak, Hee HwanSokolsky, OlegPhilippou, Anna2023-05-222023-05-222001-08-012005-03-09https://repository.upenn.edu/handle/20.500.14332/6753This paper describes three real-time process algebras, ACSR, PACSR and ACSR-VP. ACSR is a resource-bound real-time process that supports synchronous timed actions and asynchronous instantaneous events as well as the notions of resource, priority, exception, and interrupt. PACSR is a probabilistic extension of ACSR with resources that can fail and associated failure probabilities. ACSR-VP extends ACSR with value passing between processes and parameterized process definitions. This paper also provides three simple real-time system examples to illustrate the expressive power and analysis technique of each process algebra.Real-time process algebraprobablistic process algebravalue-passing process algebraschedulability analysisreal-time systemsresource-bound process algebraPresentation