Robin Milner definió bigraphs como un tipo de estructura gráfica con una estructura similar a un gráfico, pero donde los nodos se pueden anidar. Generalizan cálculos de procesos como CCS y el cálculo , pero Milner parece haber tenido la intención de que se usen de manera mucho más general: las notas del seminario de poco antes de su muerte detallan los desarrollos recientes.
Mirando hacia atrás en lugar de hacia adelante, el prólogo del libro de texto de 2009 de Milner, The Space and Motion of Communicating Agents , no ofrece muchos antecedentes históricos. Milner reconoció explícitamente sus raíces en Mobile Ambients y el cálculo Pi. Sin embargo, el modelo es tan general que seguramente habrá fuertes vínculos con modelos más antiguos.
¿Hay predecesores históricos de los bigrafos?
Centrándose en los elementos sintácticos en lugar de la forma en que se utilizan para capturar sistemas en evolución, un precedente obvio es AB Kempe, Una memoria sobre la teoría de la forma matemática , Transacciones filosóficas de la Royal Society de Londres 177, 1–70, 1886. Kempe's Es posible que el papel haya introducido gráficos coloreados de vértices y bordes (desconozco el uso anterior, pero agradecería los punteros). Kempe también parece haber tenido en mente algunos de los mismos tipos de aplicaciones generales que Milner imaginó. ¿Hay otros predecesores que deberían mencionarse?
(Editar: ahora marcando esto como un wiki de la comunidad, con la esperanza de atraer más respuestas).