Ist jemandem ein prozessalgebraischer (oder verwandter) Formalismus bekannt, der feinkörnige Standortinformationen erfasst? Ich bin mit Umgebungen und Bigraphen vertraut, die offensichtlich ein Standortmodell haben, aber was ist mit Versuchen, konkretere Standortinformationen so zu modellieren, dass der Standort eines Agenten in einem (realen oder virtuellen) Koordinatenraum ausgedrückt wird?
Es scheint mir, dass es möglich wäre, einen bestehenden Formalismus zu übernehmen und ihn mit Konstrukten anzureichern, um den Ort auf einer geeigneten Abstraktionsebene zu modellieren, aber ich würde es hassen, das Rad unnötig neu zu erfinden, wenn dies an frühere Bemühungen erinnert.
Als Hintergrund ist die Anwendungsdomäne im Wesentlichen eine biologische Modellierung, bei der die traditionellen Ortsvorstellungen, die in dieser Domäne verwendet werden, um zu bestimmen, wo Wechselwirkungen auftreten können, nicht feinkörnig genug sind, um die interessierenden Eigenschaften zu erfassen.