«process-algebra» etiketlenmiş sorular

Pi-hesabında güvenilir yayınları modelleyebilir misiniz? Öyleyse nasıl? Değilse: Yapabileceğiniz benzer işlem cebirleri var mı? Ne denedim: Gönderen Eğer bir mesaj göndermek isteyen herkese için , yazabilirsiniz ! ( ve için . Ancak nin defa kopyalandığını , yani hiçbir iletinin kaybolmadığını nasıl garanti edersiniz? Bilmiyorum peşin. İlgili tüm işlemler arasında ileri …

16 pl.programming-languages  formal-modeling  process-algebra  pi-calculus 

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 …

14 process-algebra  ho.history-overview 

Arka planım karmaşıklık teorisi / mantığı (çoğu zaman sadece bir işlemin olduğu yerde) ve dağıtılmış hesaplama ( olduğu ve bir veya daha fazla zaman içinde başarısız olabileceği). Ancak, şimdi başka bir süreci doğurma / yaratma / döndürme süreci hakkında bir şeyler söylemek istiyorum. Buna paralel olarak hesaplama, işletim sistemleri vb. …

13 dc.parallel-comp  process-algebra 

Bir süredir dil teorisi ve süreç hesaplarını programlamakla çok ilgileniyorum ve bunları incelemeye başladım. Dürüst olmak gerekirse, kariyer için aklıma gelmeyecek bir şey. Teoriyi inanılmaz büyüleyici buluyorum. Sürekli devam ettiğim bir soru, PL Teorisi veya Proses Hesaplarının modern programlama dili gelişiminde hiç önemi olup olmadığıdır. Pi-matematikte çok fazla varyant görüyorum …

10 pl.programming-languages  process-algebra