Sémantika souběžnosti - Concurrency semantics - Wikipedia
 | tento článek ne uvést žádný Zdroje. (Prosince 2009) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
| Sémantika | ||||||||
|---|---|---|---|---|---|---|---|---|
| Výpočetní | ||||||||
| ||||||||
v počítačová věda, sémantika souběžnosti je způsob, jak dát smysl souběžné systémy matematicky důsledně. Sémantika souběžnosti je často založena na matematických teoriích souběžnosti, jako jsou různé zpracovat kalkul, herec model nebo Petriho sítě.
 | Tento počítačová věda článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |