A Theory of Communicating Sequential Processes

书目详细资料
Main Authors: Brookes, S, Hoare, C, Roscoe, A
格式: Journal article
出版: 1984