next up previous contents
Next: Dovětek k implementaci Up: Funkční část Previous: Transformace do CCS

Poznámka:

Na rozdíl od navrhovaného algoritmu aplikujeme ošetřující přejmenování na všechny problémové porty, výsledný systém CCS je však ekvivalentní systému získanému pomocí navrhovaného algoritmu, v němž je jednomu z problémových portů ponecháno původní jméno.



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