Composition and refinement mapping-based construction of distributed applications, in (1995)

by A Mester, H Krumm
Venue:Proc. of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems