Modely konkurentných systémov Formálne metódy tvorby softvéru
Modely konkurentných systémov Formálne metódy tvorby softvéru
Modely konkurentných systémov Formálne metódy tvorby softvéru
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Modálny MU - kalkuls<br />
Pripomenutie:<br />
||[K]||(X ) = {P ∈ P| ak P y → P ′ a y ∈ K tak P ′ ∈ X }<br />
|| < K > ||(X ) = {P ∈ P| existuje P ′ ∈ X , existuje y ∈ K a P y → P ′ }<br />
6 / 29