Manfred Broy Semantics of Finite and Infinite Networks of Concurrent Communicating Agents. 13-31 1987 2 Distributed Computing 1 db/journals/dc/dc2.html#Broy87