A Formal System for Specification Analysis of Concurrent Programs
Ken Hirose
Waseda University, Tokyo, JapanMakoto Takahashi
Waseda University, Tokyo, Japan
![A Formal System for Specification Analysis of Concurrent Programs cover](/_next/image?url=https%3A%2F%2Fcontent.ems.press%2Fassets%2Fpublic%2Fimages%2Fserial-issues%2Fcover-prims-volume-19-issue-3.png&w=3840&q=90)
Abstract
A formal system is proposed to analyze the specification of concurrent programs. The soundness theorem for is also proved.
Cite this article
Ken Hirose, Makoto Takahashi, A Formal System for Specification Analysis of Concurrent Programs. Publ. Res. Inst. Math. Sci. 19 (1983), no. 3, pp. 911–926
DOI 10.2977/PRIMS/1195182015