応答型並行プロセスのための時相論理式を用いた部分計算法

Research output: Contribution to journalArticle

Original languageJapanese
Pages (from-to)15-27
Number of pages13
Journalコンピュータソフトウェア
Volume12
Issue number3
Publication statusPublished - 1995

Cite this

応答型並行プロセスのための時相論理式を用いた部分計算法. / Murakami, Masaki.

In: コンピュータソフトウェア, Vol. 12, No. 3, 1995, p. 15-27.

Research output: Contribution to journalArticle

@article{606327319cfe4dce96e851783955e676,
title = "応答型並行プロセスのための時相論理式を用いた部分計算法",
author = "Masaki Murakami",
year = "1995",
language = "Japanese",
volume = "12",
pages = "15--27",
journal = "コンピュータソフトウェア",
number = "3",

}

TY - JOUR

T1 - 応答型並行プロセスのための時相論理式を用いた部分計算法

AU - Murakami, Masaki

PY - 1995

Y1 - 1995

M3 - Article

VL - 12

SP - 15

EP - 27

JO - コンピュータソフトウェア

JF - コンピュータソフトウェア

IS - 3

ER -