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

Published online: 1983-12-31

A Formal System for Specification Analysis of Concurrent Programs

Ken Hirose[1] and Makoto Takahashi[2]

(1) Waseda University, Tokyo, Japan
(2) Waseda University, 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