同期機構を持つ並行プロセスの記述能力について--フロ-表現の拡張とその記述能力

スポンサーリンク

概要

著者

関連論文

スポンサーリンク