Robin Milner definiu bigraphs como um tipo de estrutura gráfica com estrutura semelhante a gráfico, mas onde os nós podem ser aninhados. Eles generalizam os cálculos de processos como o CCS e o cálculo, mas Milner parece ter pretendido que eles fossem usados de maneira muito mais geral: as notas do seminário pouco antes de sua morte detalham desenvolvimentos recentes.
Olhando para trás e não para frente, o prólogo do livro de Milner de 2009, The Space and Motion of Communicating Agents , não fornece muitos antecedentes históricos. Milner reconheceu explicitamente suas raízes nos Ambientes Móveis e no cálculo do Pi. No entanto, o modelo é tão geral que é provável que haja fortes vínculos com modelos mais antigos.
Existem antecessores históricos dos bigrafs?
Focando nos elementos sintáticos, e não na maneira como eles são usados para capturar sistemas em evolução, um precedente óbvio é o AB Kempe, um livro de memórias sobre a teoria da forma matemática , transações filosóficas da Royal Society of London 177, 1–70, 1886. Kempe's o papel pode ter introduzido gráficos coloridos em vértices e bordas (não conheço o uso anterior, mas gostaria de receber sugestões de ponteiros). Kempe também parece ter em mente alguns dos mesmos tipos de aplicações gerais que Milner imaginava. Existem outros predecessores que devem ser mencionados?
(Editar: agora marcando este wiki de uma comunidade, na esperança de atrair mais respostas.)