Hľadaj Zobraz: Univerzity Kategórie Rozšírené vyhľadávanie

45 091   projektov
0 nových

Komunikácia a paralelizmus, Josef Pojsl

«»
Prípona
.pdf
Typ
prednášky
Stiahnuté
0 x
Veľkosť
0,3 MB
Jazyk
český
ID projektu
11615
Posledná úprava
11.12.2018
Zobrazené
893 x
Autor:
zadsemuser
Facebook icon Zdieľaj na Facebooku
Detaily projektu
Popis:
Komunikácia a paralelizmus, Josef Pojsl (prednášky) 1994

Kľúčové slová:

Komunikácia

paralelizmus

Josef Pojsl

dynamické systémy

bisimulace

kongruence



Obsah:
  • 1 Dynamické systémy
    2 Základní konstrukce CCS
    3 Akce a přechodové grafy
    4 Syntaxe a sémantika CCS
    5 CCS s předáváním hodnot
    6 Silná bisimulace
    7 Slabá bisimulace
    8 Kongruence
    9 Axiomatizace CCS pro konečné sekvenční procesy
O súboroch cookie na tejto stránke

Súbory cookie používame na funkčné účely, na zhromažďovanie a analýzu informácií o výkone a používaní stránky.

Nastavenia Povoliť všetko