迈向通信过程的代数模型

Towards an algebraic model for communicating processes

Decision Support Systems · 1988
被引 0
ABS 3
计算机科学并行计算代数数学理论计算机科学