Next:
Definice .
Up:
Jazyk termů GCCS
Previous:
Označení:
Definice .
Nechť je systém. Definujeme množinu všech
volných
portů systému takto:
Je-li proces, pak
je-li síť, pak
}
David Safranek
Fri Apr 6 23:53:25 MET DST 2001