¿Alguien sabe de algún formalismo algebraico (o relacionado) de proceso que capture información de ubicación detallada? Estoy familiarizado con los ambientes y bigrafos, que obviamente tienen un modelo de ubicación, pero ¿qué pasa con los intentos de modelar información de ubicación más concreta, de modo que la ubicación de algún agente se exprese dentro de un espacio de coordenadas (real o virtual)?
Me parece que sería posible tomar algo de formalismo existente y enriquecerlo con construcciones para modelar la ubicación en un nivel apropiado de abstracción, pero odiaría reinventar la rueda innecesariamente si esto es una reminiscencia de esfuerzos anteriores.
Como antecedentes, el dominio de la aplicación es esencialmente un modelo biológico donde las nociones tradicionales de ubicación utilizadas en este dominio para gobernar dónde pueden ocurrir las interacciones no son lo suficientemente precisas como para capturar las propiedades de interés.