A Calculus of Communicating Systems

著者: Robin Milner - IEEE Symposium on Security and Privacy, IEEE S&P 1980 被引用: 4,639