Calculi for Synchrony and Asynchrony

著者: Robin Milner - Theoretical Computer Science 1983 被引用: 898