A Proof System in PADS

DOI10.1007/978-3-642-39718-9_23zbMath1405.68222OpenAlexW2276962101MaRDI QIDQ2851921

Min Zhang, Xinghua Yao, Yi-Xiang Chen

Publication date: 4 October 2013

Published in: Theoretical Aspects of Computing – ICTAC 2013 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39718-9_23

zbMATH Keywords

real-time process algebrahierarchical schedulingresource supplydemand relationresource demand

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: A Proof System in PADS