並列プログラムに現れる非同期型通信のプロセス代数による解析・検証

Notes on use

Search by Bookstore

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

Material Type: 図書
Title: 並列プログラムに現れる非同期型通信のプロセス代数による解析・検証
Title Transcription: ヘイレツプログラムニアラワレルヒドウキガタツウシンノプロセスダイスウニヨルカイセキケンショウ
Author/Editor: 大塚寛, 愛媛大学 [著]
Author Heading: 大塚, 寛オオツカ, ヒロシ
愛媛大学エヒメダイガク
Publication, Distribution, etc.: [大塚寛]
Publication Date: 2002-2004
2005.3
Publication Date (W3CDTF): 2002
2004
Extent: 1冊
Additional Title: 研究種目基盤研究(C)
Place of Publication (Country Code): JP
Text Language Code: jpn
Subject Heading: モデル検証 / 協調型言語 / プロセス代数 / クリプケ構造 / 失敗集合モデルケンショウ / キョウチョウガタゲンゴ / プロセスダイスウ / クリプケコウゾウ / シッパイシュウゴウ
NDLC: Y151
Note (General): 文部科学省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 14540121
Holding library: 国立国会図書館
Call No.: Y151-H14540121
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007967650
http://id.ndl.go.jp/bib/000007967650
Bibliographic Record Category (NDL): 214