Tommaso Bolognesi. A Graphical Composition Theorem for Networks of Lotos Processes. In 10th International Conference on Distributed Computing Systems (ICDCS 1990), May 28 - June 1, 1990, Paris, France. pages 88-95, IEEE Computer Society, 1990.
Abstract is missing.