きめの細かい位置情報をキャプチャするプロセス代数的（または関連する）形式を知っている人はいますか？私はアンビエントとバイグラフに精通していますが、これらは明らかに位置モデルを持っていますが、より具体的な位置情報をモデル化して、あるエージェントの位置が（実または仮想）座標空間内で表現されるようにしようとするとどうでしょうか？
既存の形式を採用し、構成を追加して、適切な抽象化レベルで場所をモデル化することは可能だと思われますが、これが以前の取り組みを連想させるものであれば、不必要にホイールを再発明するのは嫌です。
背景として、アプリケーションドメインは基本的に生物学的モデリングであり、相互作用が発生する場所を管理するためにこのドメインで使用される従来の場所の概念は、関心のあるプロパティをキャプチャするのに十分な粒度ではありません。