ConGolog，一种基于态势演算的并发编程语言 电子书下载

原名:ConGolog, a concurrent programming language based on the situation calculus
作品简介:Via Salaria 113, 00198 Roma, Italy 当然，我们的并不是第一个正式的并发模型。其实很好 这个可以用编程的。……