Manfred Broy Equations for Describing Dynamic Nets of Communicating Systems. 170-187 1994 conf/compass/1994 COMPASS/ADT db/conf/compass/compass94.html#Broy94 http://dx.doi.org/10.1007/BFb0014427