İletişim sistemleri cebiri: Revizyonlar arasındaki fark

İçerik silindi İçerik eklendi

Satır içi

Sayfanın 18.19, 12 Nisan 2018 tarihindeki hâli

İletişim sistemleri cebiri Robin Milner tarafından 1980'lerde geliştirilmiş bir işlem kalkülüsüdür. İ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çıklamaktadır. Kilitlenme gibi durumlara ait özelliklerin niteliksel doğruluğunu ölçmek amacıyla kullanılmaktadır.^[1]

Kaynakça

^ Herzog, Ulrich, (Ed.) (Mayıs 2007). Formal Methods for Performance Evaluation. Lecture Notes in Computer Science. 4486. Springer. ss. 318-370. doi:10.1007/978-3-540-72522-0.

Bilgisayar bilimi ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz.

[1] Herzog, Ulrich, (Ed.) (Mayıs 2007). Formal Methods for Performance Evaluation. Lecture Notes in Computer Science. 4486. Springer. ss. 318-370. doi:10.1007/978-3-540-72522-0.

[1]