Art

J-GLOBAL ID：201702242923405520   Reference number：17A1001774

Hybrid Timed Ambient Calculus for Logistics Specification

物流記述のための混合型時間アンビアント計算

Author (4)： FUJISAKA YOSHIHIDE (近畿大) ,  INAMORI KEITA (近畿大) ,  HIGUCHI MASAHIRO (近畿大) ,  KATO TOORU (近畿大)
Material： 情報処理学会論文誌トランザクション プログラミング(Web)  (情報処理学会論文誌 プログラミング(Web))
Volume： 10  Issue： 4  Page： 12-27 (WEB ONLY)  Publication year： Jul. 21, 2017 
JST Material Number： U0474A  ISSN： 1882-7802  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *data processing ,  *authority ,  *writing method ,  hierarchical structure system ,  treatment ,  monitor ,  detection
Semi thesaurus term： event processing ,  object detection ,  *capability ,  timeout ,  hierarchical structure system ,  monitoring system ,  *writing method ,  *logistics data processing

JST classification (3)： Physical distribution  (KA08000O) ,  Database systems  (JD03030U) ,  Computer utilization technology in general  (JE01000C)

Reference (14)：

• Aman, B. and Ciobann, G.: Timed Mobile Ambient for Network Protocols, Vol.5048, Elsevier Science (2008).
• Aman, B. and Ciobann, G.: Mobile Ambient with Timers, Mobility in Process Calculi and Natural Computing, pp.26-36, Springer (2011).
• Cardelli, L., Ghelli, G. and Gordon, A.D.: Types for the Ambient Calculus, Infomation and Computation 177, pp.160-194 (2002).
• Cardelli, L. and Gordon, A.D.: Mobile Ambients, Theoretical Computer Science, Vol.240, pp.177-213 (2000).
• Cardelli, L.: Abstractions for Mobile Computation, Lecture Notes in Computer Science, Vol.1603, pp.51-94 (1999).

Terms in the title (3)： 物流 ,  記述 ,  計算