Semantics of nondeterminism, concurrency, and communication

作者:

Highlights:

摘要

论文关键词:

论文评审过程:Received 13 September 1978, Revised 25 July 1979, Available online 3 December 2003.

论文官网地址:https://doi.org/10.1016/0022-0000(79)90006-0