A Formal System for Specification Analysis of Concurrent Programs

  • Ken Hirose

    Waseda University, Tokyo, Japan
  • Makoto Takahashi

    Waseda University, Tokyo, Japan

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