@书籍{zbMATH00108007，作者={Aceto，Luca}，Title={过程代数中的动作精化}，F系列={计算机科学杰出论文}，系列={Disting.Diss.Compute.Sci.}，体积={3}，国际标准图书编号={0-521-4311-5}，年份={1992年}，出版商={剑桥：大学出版社}，语言={英语}，关键词={68-02,68Q55,68Q60}，zbMATH={108007}，Zbl={0762.68003}}