next up previous contents
Next: Definice . Up: Jazyk termů GCCS Previous: Poznámka:

Označení:

Necht je síť. Pak označme množinu jmen všech sběrnic v síti . Je-li proces, pak definujeme .


David Safranek
Fri Apr 6 23:53:25 MET DST 2001