Milner'ın ikilemlerinin tarihsel kökleri nelerdir?

Robin Milner, bigrafları grafik benzeri yapıya sahip ancak düğümlerin yuvalanabileceği bir tür grafik yapı olarak tanımladı . Onlar CCS ve benzeri süreç taşı genelleme -calculus ama Milner onları çok daha genel olarak kullanılacak yönelik gibi görünüyor: Seminer notları kısaca onun ölümü detay son gelişmeler öncesinde.$\pi$

İleriye bakmak yerine, Milner'ın 2009 İletişim Kitabının Mekanı ve Hareketi ders kitabının tanıtımı , tarihsel bir geçmişin çoğunu sağlamaz. Milner, Mobil Ortamlarda ve Pi hesabında köklerini açıkça kabul etti. Yine de model o kadar geneldir ki, eski modellerle güçlü bağlantılar vardır.

Bigrafların tarihsel öncülleri var mı?

Gelişen sistemleri yakalamak için kullanıldığı biçimden ziyade sözdizimsel öğelere odaklanan açık bir örnek AB Kempe, Matematiksel Form Teorisi Üzerine Bir Anı, Londra Kraliyet Cemiyeti'nin Felsefi İşlemleri 177, 1–70, 1886. Kempe's kağıt, köşe ve kenar renkli grafikler getirmiş olabilir (daha önceki kullanımdan habersizim ama işaretçileri hoş geldiniz). Kempe'nin, Milner'in öngördüğü gibi aynı tür genel uygulamalara sahip olduğu da görülüyor. Belirtilmesi gereken başka selefler var mı?

Düzenle

Bigraphlar için kategori teorik temelinin çoğu Reaktif Sistemler açısından yapılmıştır:

Leifer, JJ ve Milner, R. (2000). Reaktif sistemler için bisimülasyon kongruanslarının türetilmesi . Palamidessi, C., editör, 11. Uluslararası Eşzamanlılık Teorisi Konferansı Bildirileri (CONCUR'00), Bilgisayar Bilimleri Ders Notları 1877 , sayfa 243-258. Springer-Verlag. ( bağlantı )

Bu, bisimülasyonun yeterli RPO'ların varlığında bir uyum olduğunu gösteren sonuçtur.

Doğru belirttiğiniz gibi, özellikle "yer" kavramını yakalamada kesinlikle çeşitli ortam hesaplarına bağlantılar vardır .

Kimyasal Özet Makinesi (Cham) da anlamlı olarak gösteriliyor - muhtemelen bigraphs dünyadan bakıldığında tanıdık reaksiyonların semantik yanı sıra (membranlar gibi) birkaç başka kavramlarla açısından. Bu benim için muhtemelen bigrafik reaktif sistemlerin ideolojik bir atası olmanın en belirgin işaretini birçok yönden gösteriyor.

Son olarak, Milner'ın CCS'den pi-calculus'a, reaktif sistemlere, bigraph'lara yaptığı çalışmanın konusuna bakmaya değer olduğunu düşünüyorum. Bu çalışma dizisinde, ek soyutlamaların girişinde veya belki de yalnızca başka şekilde önceki modelleme formalizmlerinde örtülü olarak yer alan belirli bilgileri açıkça kodlama yeteneğinde belirli bir eğilim görürsünüz.

Bu hiçbir şekilde tamamlanmamıştır, ancak bimiğin gelişimini birçok farklı fikirden doğal bir ilerleme olarak görmek kesinlikle adil.