Publications of the Research Institute for Mathematical Sciences


Full-Text PDF (1122 KB) | Metadata | Table of Contents | PRIMS summary
Volume 19, Issue 3, 1983, pp. 911–926
DOI: 10.2977/prims/1195182015

A Formal System for Specification Analysis of Concurrent Programs

Ken Hirose[1] and Makoto Takahashi[2]

(1) Department of Mathematics, Waseda University, Nishiwaseda 1-6-1, Shinjuku-ku, 169-8050, TOKYO, JAPAN
(2) Department of Mathematics, Waseda University, Nishiwaseda 1-6-1, Shinjuku-ku, 169-8050, TOKYO, JAPAN

A formal system FLm, ns/i> is proposed to analyze the specification of concurrent programs. The soundness theorem for FLm, ns/i> is also proved.

No keywords available for this article.

Hirose Ken, Takahashi Makoto: A Formal System for Specification Analysis of Concurrent Programs. Publ. Res. Inst. Math. Sci. 19 (1983), 911-926. doi: 10.2977/prims/1195182015