İletişim sistemleri cebiri
İ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
[değiştir | kaynağı değiştir]- ^ 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.
Alanlar |
|
---|---|
Cebirsel yapılar |
|
Lineer cebir |
|
Çokludoğrusal cebir |
|
Listeler |
|
Tablolar |
|
Sözlükler |
|
İlgili konular |
|
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.