Automated design of concurrent process systems

Toyohiko Hirota, Koichi Tabata, Yutaka Ohno. Automated design of concurrent process systems. In Mamoru Maekawa, Laszlo A. Belady, editors, Operating Systems Engineering: Proceedings of the 14th IBM Computer SCience Symposium, Amagi, Japan, October 1980. Volume 143 of Lecture Notes in Computer Science, pages 407-424, Springer, 1980.

Abstract

Abstract is missing.