Space-time theory GQOT and its application to concurrent processes. - Koichiro Tanabe; Atsuyuki Suzuki (Syst. Comput. Jpn., 1988)