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

Definice .

Systém nazveme dobře definovaný, je-li

  1. proces
  2. nebo je síť, pro niž platí:



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