A formal description of monitors by CCS

Shoji Yuen, Toshiki Sakabe, Yasuyoshi Inagaki. A formal description of monitors by CCS. Systems and Computers in Japan, 23(1):1-14, 1992. [doi]

Abstract

Abstract is missing.