図書

代数的並行プロセス自動合成のための時制論理に基づいた新しい方法論の開発

Icons representing 図書

代数的並行プロセス自動合成のための時制論理に基づいた新しい方法論の開発

Call No. (NDL)
Y151-H05680262
Bibliographic ID of National Diet Library
000006994646
Material type
図書
Author
富樫, 敦, 東北大学
Publisher
-
Publication date
1993-1995
Material Format
Paper
Capacity, size, etc.
-
NDC
-
View All

Notes on use

Note (General):

文部省科学研究費補助金研究成果報告書

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
Title Transcription
ダイスウテキ ヘイコウ プロセス ジドウ ゴウセイ ノ タメ ノ ジセイ ロンリ ニ モトヅイタ アタラシイ ホウホウロン ノ カイハツ
Author/Editor
富樫, 敦, 東北大学
Author Heading
富樫, 敦 トガシ, アツシ
Publication Date
1993-1995
Publication Date (W3CDTF)
1993
Extent
Additional Title
研究種目 一般研究(C)
Subject Heading
並行プロセス ヘイコウプロセス
自動合成 ジドウゴウセイ
帰納推論 キノウスイロン
時制論理 ジセイロンリ
等価性 トウカセイ
μ計算 ミユーケイサン
プロセス記述 プロセスキジユツ
プロセス計算 プロセスケイサン