A Formal System for Specification Analysis of Concurrent Programs

Publications of the Research Institute for Mathematical Sciences

Online ISSN : 1663-4926
Print ISSN : 0034-5318

著者情報

ジャーナルフリー

1983 年 19 巻 3 号 p. 911-926

詳細

抄録

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

著者関連情報

この記事は最新の被引用情報を取得できません。

お気に入り & アラート

閲覧履歴

前身誌

Top