J-STAGE Home  >  Publications - Top  > Bibliographic Information

Publications of the Research Institute for Mathematical Sciences
Vol. 19 (1983) No. 3 P 911-926



A formal system FLm, n is proposed to analyze the specification of concurrent programs. The soundness theorem for FLm, n is also proved.

Copyright © Research Institute forMathematical Sciences

Article Tools

Share this Article