Abstract
Aceto et al., proved that, over the process algebra BCCSP with the priority operatorof Baeten, Bergstra and Klop, the equational theory of order-insen......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
