有个梨UGlee
2020-01-17 00:00:00 发布
The thread which I want to pick up is the semantic basis of concurrent computation. ---- Robin Milner "Elements of Interaction".