分布式制造调度体系结构的π演算形式化建模

王世进

Formal modeling of architecture with π-calculus for distributed manufacturing scheduling

WANG Shi-jin

计算机工程与应用 . 2010, (9): 1 -3 . DOI: 10.3778/j.issn.1002-8331.2010.09.001