Next:
Důkaz:
Up:
Transformace sítě
Previous:
Příklad .
Věta .
Ke každému
dobře definovanému systému
GCCS existuje
systém
CCS se stejnou operační sémantikou jako původní GCCS systém .
David Safranek
Fri Apr 6 23:53:25 MET DST 2001
