Robin Milner definierte Bigraphs als eine Art grafische Struktur mit grafischer Struktur, bei der die Knoten jedoch verschachtelt werden können. Sie verallgemeinern Prozesskalküle wie CCS und den Kalkül, aber Milner scheint beabsichtigt zu haben, dass sie viel allgemeiner verwendet werden: Die Seminaraufzeichnungen von kurz vor seinem Tod beschreiben die jüngsten Entwicklungen.
Der Prolog von Milners Lehrbuch " Der Raum und die Bewegung kommunizierender Agenten" aus dem Jahr 2009 bietet nicht viel historischen Hintergrund. Milner hat seine Wurzeln ausdrücklich in Mobile Ambients und im Pi-Kalkül anerkannt. Das Modell ist jedoch so allgemein gehalten, dass starke Verbindungen zu älteren Modellen bestehen müssen.
Gibt es historische Vorgänger von Bigraphs?
Ein offensichtlicher Präzedenzfall ist AB Kempe, Ein Memoir über die Theorie der mathematischen Form , Philosophische Transaktionen der Royal Society of London 177, 1–70, 1886. Kempe's Papier hat möglicherweise Scheitelpunkte und kantenfarbene Grafiken eingeführt (ich kenne die frühere Verwendung nicht, würde jedoch Hinweise begrüßen). Kempe hatte anscheinend auch einige der allgemeinen Anwendungen im Sinn, die Milner sich vorgestellt hatte. Gibt es andere Vorgänger, die erwähnt werden sollten?
(Bearbeiten: Markiere dies jetzt als Community-Wiki, in der Hoffnung, weitere Antworten zu finden.)