Masaki Murakami
研究成果
線形論理の多次元表記を用いた並行プロセス. / Murakami, Masaki.
}
TY - JOUR
T1 - 線形論理の多次元表記を用いた並行プロセス
AU - Murakami, Masaki
PY - 1999
Y1 - 1999
M3 - Article
SP - 341
EP - 344
JO - 日本ソフトウェア科学会第16回大会論文集
JF - 日本ソフトウェア科学会第16回大会論文集
ER -