Publications of the Research Institute for Mathematical Sciences
Full-Text PDF (1122 KB) | Metadata | Table of Contents | PRIMS summary
Published online: 1983-12-31
A Formal System for Specification Analysis of Concurrent ProgramsKen Hirose and Makoto Takahashi (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