Art
J-GLOBAL ID:202002281041891617
Reference number:20A0697454
The Integrated Development Environment for the Multiple Ambient Calculus
多重Ambient Calculusのための統合開発環境
Author (3):
,
,
Material:
Volume:
2020
Issue:
MPS-127
Page:
Vol.2020-MPS-127,No.2,1-6 (WEB ONLY)
Publication year:
Feb. 24, 2020
JST Material Number:
U0451A
Document type:
Proceedings
Article type:
原著論文
Country of issue:
Japan (JPN)
Language:
JAPANESE (JA)
Thesaurus term:
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
,
,
,
,
,
,
,
,
Semi thesaurus term:
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
,
,
JST classification (2):
JST classification
Category name(code) classified by JST.
Physical distribution
, Pallets,containers
Reference (19):
-
Cardelli, L. and Gordon, A. D.: Mobile Ambients, Theoretical Computer Science, Vol. 240, pp. 177-213 (2000).
-
橋本隆弘,加藤暢,樋口昌宏:多重 Ambient Calculus と UHF帯RFID機器を用いた海上物流監視システム,情報処理学会論文誌: プログラミング, Vol. 6, No. 2, pp. 1-12 (2013).
-
樋口昌宏,森田哲平,加藤暢:多重 Ambient Calculus による物流記述に対する弱双模倣等価性を用いたモデル検査,情報処理学会論文誌:プログラミング,Vol. 5, No. 3, pp. 56-60 (2012).
-
樋口昌宏,加藤暢:物流システム記述のための多重 Ambient Calculus,情報処理学会論文誌:プログラミング,Vol. 5, No. 2, pp. 79-87 (2012).
-
Hoare, C.: Communicating Sequential Processes, Prentice Hall (1985).
more...
Terms in the title (2):
Terms in the title
Keywords automatically extracted from the title.
,
Return to Previous Page