| 複写 |  |
|---|---|
| 関連リンク |  |
| 出版者サイト |  |
文献
J-GLOBAL ID：201702242923405520
整理番号：17A1001774 物流記述のための混合型時間アンビアント計算
Hybrid Timed Ambient Calculus for Logistics Specification
クリップ引用文献 (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).
- Coronato, A. and De Pietro, G.: Formal Specification and Verification of Ubiquitous and Pervasive Systems, ACM Trans. Autonomous and Adaptive Systems, Vol.6, No.1, pp.9:1-9:6 (2011).
- 橋本隆弘,加藤 暢,樋口昌宏:多重 Ambient Calculus と UHF 帯 RFID 機器を用いた海上物流監視システム,情報処理学会論文誌:プログラミング,Vol.6, No.2 (2013).
- Hirschkoff, D., Pous, D. and Sangiorgi, D.: An Efficient Abstract Machine for Safe Ambients, The Journal of Logic and Algebraic Programming, pp.114-149 (2007).
- Kato, T.: An Equational Relation for Ambient Calculus, 情報処理学会論文誌,Vol.46, No.12, pp.3016-3029 (2005).
- Kato, T. and Higuchi, M.: A Handling Management System for Freight with the Ambient Calculus and UHF RFID tags, Proc. 15th International Conference on Network-Based Information Systems, pp.364-371 (2012).
- 森本大輔,加藤 暢,樋口昌宏:Ambient Calculus を用いた物流検査システム,情報処理学会論文誌:プログラミング,Vol.48, No.SIG 10, pp.151-164 (2007).
- Parrow, J.: An Introduction to the π-Calculus, Handbook of Process Algebra, pp.479-543, North-Holland (2001).
- Wang, M. and Lu, Y.: A Timed Calculus for Mobile Ad Hoc Networks, Proc. 2nd International Symposium on Computer Science in Russia, pp.118-134 (2012).
- 桑原寛明,結縁祥治,阿草清滋:時間付きπ計算によるリアルタイムオブジェクト指向言語の形式的記述,情報処理学会論文誌,Vol.45, No.6, pp.1498-1507 (2004).
1〜14 件目 / 全 14 件
- « 最初
- ‹ 前へ
- 1
- 次へ ›
- 最後 »
