A Graphical Composition Theorem for Networks of Lotos Processes.

Tommaso Bolognesi A Graphical Composition Theorem for Networks of Lotos Processes. 88-95 1990 conf/icdcs/1990 ICDCS db/conf/icdcs/icdcs90.html#Bolognesi90