A Calculus of Communication Systems (Lecture Notes in Computer Science, 92, Band 92)