抄録

◎藤坂吉秀・樋口昌宏（近畿大）

我々のグループでは、Cardelli, L. とGordon, A. D. によるアンビアント計算を、物流記述のために時間について拡張し、通常のケーパビリティと有効期限付きケーパビリティを混合した混合型時間アンビアント計算を提案している。しかし、その他にもアンビアント計算を時間拡張したTimed Mobile Ambientがある。ここではBogdan AmanとGabriel Ciobanuによる、ネットワークプロトコル記述のためのTimed Mobile Ambientと物流記述のための混合型時間アンビアント計算を比較し、それぞれにどのような特徴があるのかを述べる。