@收款{zbMATH05526623，作者={穆萨维、穆罕默德·雷扎和雷尼尔、米歇尔·A和巴斯滕、吐温和乔德伦、米歇尔}，Title={{PARS}：资源和调度程序的进程代数方法}，BookTitle={并行和分布式处理的进程代数。}，国际标准图书编号={978-1-4200-6486-5；978-1-42002-6487-2}，页码={331--358}，年份={2009}，出版商={博卡拉顿，佛罗里达州：CRC pRESS}，语言={英语}，关键词={68Q85,68M20}，zbMATH={5526623}，Zbl={1171.68575}}