Modeling distributed systems: Communication issues in Hermix. - B. De Decker; Pierre Verbaeten (Microprocess. Microprogramming, 1989)