Art

J-GLOBAL ID：201202234393775554   Reference number：12A0799069

The Multiple Ambient Calculus for Specifying Freight Systems

物流システム記述のための多重Ambient Calculus

Author (2)： HIGUCHI MASAHIRO (近畿大) ,  KATO TOORU (近畿大)
Material： 情報処理学会論文誌トランザクション(CD-ROM)  (情報処理学会論文誌 Computer Vision and Applications(CD-ROM))
Volume： 2011  Issue： 2  Page： ROMBUNNO.PUROGURAMINGU,VOL.5,NO.2,79-87  Publication year： Apr. 15, 2012 
JST Material Number： L7379A  ISSN： 1882-7772  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *system description language ,  *computation model ,  simulation ,  physical distribution ,  *logistic system ,  concurrent processing ,  cargo ,  multiplex ,  constraint condition(restriction)
Semi thesaurus term： *Ambient Calculus ,  bisimulation

JST classification (3)： Applied programming languages  (JD03052Y) ,  Theory of computation  (JB02000A) ,  Physical distribution  (KA08000O)

Reference (16)：

• [1] Cardelli, L and Gordon, A.D.:Mobile Ambients, Theo-retical Oomputer Science,Viol.240, PP.177-213(2000).
• [2] 吉岡信和,田原康之,本位田真一:モバイルエージェントによる柔軟なコンテンツ流通を実現するアクティブコンテンツ,情報処理学会論文誌:データベース,Vol.44,No.SIG18(TOD 20), pp.45-57(2003).
• [3] Giannini, P., Sangiorgi, D. and Valente, A.: Safe Ambients:Abstract Machine and Distributed Imple-mentation, Science of Computer Programming, Vo1.59,Issue 3, pp.209-249(2006).
• [4] 岡田翔太,馬谷誠二,林 奉行,八杉昌宏,湯淺太一:Safe AmbientsのためのJavaフレームワーク,情報処理学会論文誌プログラミング,Vol.4, No.3, pp26-41(2011).
• [5] 日本経済新聞社:海上コンテナの位置追跡,日本経済新聞2007年1月24日発行夕刊3面(2007)。

Terms in the title (3)： 物流システム ,  記述 ,  多重