Ambient calculus とは

コンピュータ科学では、周囲の計算は、1998年にLuca CardelliとAndrew D. Gordonによって考案されたプロセス計算であり、モビリティを含む並行システムについて記述し、理論化しています。ここで、移動性とは、モバイルデバイス(すなわち、動的トポロジを有するネットワーク)上で実行される計算と、モバイル計算(すなわち、ネットワークの周りを移動することができる実行可能コード)の両方を意味する。周囲の計算は、両方の種類のモビリティをモデリングするための統一されたフレームワークを提供します。これは、インターネットなどの並行システムでの対話をモデル化するために使用されます。
創業以来、周囲の微積分は密接に関連した周囲の計算のファミリーに成長してきた