Distributed communication software specification based on the action superposition mechanism

Kiyoshi Hayashi, Toshihiro Nishizono, Toyofumi Takenaka. Distributed communication software specification based on the action superposition mechanism. In Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, COMPSAC 1990, Chicago, IL, October 31 1990 - November 2, 1990. pages 273-281, IEEE, 1990. [doi]

Abstract

Abstract is missing.