İ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

^ 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]

g t d Cebir
Alanlar	Soyut cebir Kategori teorisi Temel cebir K-teori Değişmeli cebir Geçişli olmayan cebir Sıra teorisi Evrensel cebir Homolojik cebir Bilgisayar cebri (Boole cebri • İletişim sistemleri cebiri • İlişkisel cebir) Mantıksal Cebir Temsil teorisi
Cebirsel yapılar	Grup teorisi (Grup) Halka teorisi (Halka) Modül teorisi (Modül) Cisim Alan Polinom Halkaları (Polinom) Birleşmeli cebir Lie cebiri
Lineer cebir	Matris teorisi Vektör uzayı (Vektör • Vektör hesabı) Modül İç çarpım uzayı (Nokta çarpım) Hilbert uzayı
Çokludoğrusal cebir	Tensör cebri (Tensör) Dış cebir Simetrik cebir Geometrik cebir (Çoklu vektör)
Listeler	Soyut cebir Cebirsel yapılar Grup teorisi Doğrusal cebir Sophus Lie
Tablolar	Lie gruplarının tablosu
Sözlükler	Doğrusal cebir Cisim teorisi Halka teorisi Sıra teorisi
İlgili konular	Matematik Cebir tarihi Cebirsel geometri Cebirsel kombinatorik Cebirsel topoloji Cebirsel sayı teorisi Cebirin temel teoremi Üreteç Heyting cebri Süper açıkorur cebir Kac-Moody cebiri Hopf cebiri Poisson cebri Heisenberg cebri
Kategori Wikibooks Temel Lineer Soyut Wikiversity Lineer Soyut