Next: Algoritmus .
Up: Transformace procesu
Previous: Transformace procesu
Ve smyslu konvencí pojmenování procesů v jazyce CCS (každý stav (agent) je v CCS chápán jako proces) označíme všechny stavy procesu jako , přičemž . Aktuální stav budeme značit q.
David Safranek
Fri Apr 6 23:53:25 MET DST 2001