Formal modeling of architecture with π-calculus for distributed manufacturing scheduling
WANG Shi-jin
Computer Engineering and Applications . 2010, (9): 1 -3 .  DOI: 10.3778/j.issn.1002-8331.2010.09.001