İletişim sistemleri cebiri
- İletişim sistemleri cebiri Robin Milner ce 1980'lerde geliştirilmiş bir işlem kalkülüsü. İki taraf arasındaki en küçük iletişim birimini temel almakta ve iletişim sürecine ilişkin koşut bileşim, eylem seçimi ve kapsam kısıtlaması kavramlarını açıklamakta. Kilitlenme gibi durumlara ait özelliklerin niteliksel doğruluğunu ölçmek amacıyla kullanılmakta.
Yorum gönderimi geçici olarak kapalıdır.