The Polyadic π-Calculus: a Tutorial

著者: Robin Milner - Logic and Algebra of Specification 1993 被引用: 760