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.
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–926DOI 10.2977/PRIMS/1195182015