phd-slidesdecc.javerianacali.edu.co/wiki/lib/exe/fetch.php?media=...(PCP) (Buchi Autom.) ntcc[Rec,...
34
Transcript of phd-slidesdecc.javerianacali.edu.co/wiki/lib/exe/fetch.php?media=...(PCP) (Buchi Autom.) ntcc[Rec,...
-
(PCP)
(Buchi Autom.)ntcc[Rec, Ident. Par.]
UNDECIDABLE
DECIDABLEntcc[Rec,No Par, Static Scope]
ntcc[Replication]
ntcc[Rec, No Par., Dyn. Scope]ntcc[Rec]