汎用並行プロセス計算システムの設計開発

スポンサーリンク

概要

論文の詳細を見る
近年,並列に動作するプロセスの振る舞いを代数的な形式体系として扱う並行プロセス計算が注目され,これまでに多数開発されてきた.また,それら並行プロセス計算を扱う処理系が既に多数作成されている.しかしながら,それら処理系は様々な並行プロセス計算のそれぞれに対して別個に作成されており,またその作成には多大な労力を必要とする.そこでこの研究では,様々な並行プロセス計算について,それらの構文規則と遷移規則を入力すると処理系を自動的に生成するシステムである,汎用並行プロセス計算システムGSCの設計についてその概要を述べる.また,並行プロセス計算の構文規則と遷移規則を記述するメタ言語として,並行プロセス計算記述言語LCCの提唱も行う.
社団法人電子情報通信学会の論文
1993-06-25

著者

関連論文

もっと見る

スポンサーリンク