Ma'ruza ShK komponentlarining o'zaro ta'sir qilish modellari, rejimlari. Kompyuterdagi jarayonlar va aloqalar. Kompyuterga qo'yiladigan talablar va biriktirish jarayonlari

Sabab-oqibat oldingi 
munosabati 
. Shubhasiz, bog'liq hodisalarni almashtirib bo'lmaydi. Masalan, vaqt o'qida bir xil 
xabarni yuborish va qabul qilish hodisalarini o'zgartira olmaysiz. Alohida hodisalar o'rtasida 
sababiy bog'liqlikning mavjudligi yoki yo'qligi bizga hodisalar to'plamiga qisman tartibning "→" 
sabab-binarli munosabatini kiritish imkonini beradi:
𝑒
𝑖
𝑦
• agar 
𝑒
𝑖
𝑥
va 
𝑒
𝑖
𝑦
hodisalar bir xil jarayonda sodir bo'lsa va 
𝑒
𝑖
𝑥
undan oldin sodir bo'lsa 
𝑒
𝑖
𝑦
, u 
holda; 
𝑒
𝑖
𝑥
→
𝑒
𝑖
𝑦
• agar 
𝑒
𝑖
𝑥
xabarni bir jarayon orqali jo‘natish hodisasi bo‘lsa 
𝑒
𝑖
𝑦
va xuddi shu xabarni 
boshqa jarayon tomonidan qabul qilish hodisasi u bilan bog‘liq bo‘lsa, u holda 
𝑒
𝑖
𝑥
→ 
𝑒
𝑖
𝑦
; 
Eslatib o'tamiz, to'plamdagi ≤ ikkilik munosabat, agar u quyidagi xususiyatlarni qondirsa, 
qisman tartibli munosabat deyiladi: 
"→" munosabati - "munosabat oldin sodir bo'ladi ( sodir bo'ladi oldin ). U birinchi marta 
Lesli Lamport1 tomonidan taqdim etilgan.