离散与混杂控制的代数理论(英文版)
上QQ阅读APP看本书,新人免费读10天
设备和账号都新为新人

2.4 Truly Concurrent Process Algebra with Localities