@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00128849,
 book = {全国大会講演論文集},
 issue = {ソフトウェア工学},
 month = {Sep},
 note = {並行分散システムは逐次に処理が行われるシステムと比較して、その性質を把握するのがはるかに困難である。これは並行分散システムでは処理の流れが一方向でないことによる。よって仕様段階で並行分散システムの性質を解析する事が出来るような形式仕様が望まれる。本研究の目的は並行分散システムに対する形式仕様を代数仕様言語を用いて作成する方法を提案することである。このために、Meseguerが示した書き換え論理を用いた並行オブジェクトモデルの形式化を、さまざまな性質を持つ通信路に対応できるように変更した。},
 pages = {231--232},
 publisher = {情報処理学会},
 title = {代数仕様言語OBJによる並行分散システムの形式仕様作成法},
 volume = {第51回},
 year = {1995}
}