Publikace na Matematicko-fyzikální fakulta |
2008
Abstrakt
Čl ánek navrhuje formální model pro alternativní a paralelní procesy, popisuje jak lze tento model rozpoznat a jaká je složitost výběru uzlů v tomto modelu.
Čl ánek navrhuje formální model pro alternativní a paralelní procesy, popisuje jak lze tento model rozpoznat a jaká je složitost výběru uzlů v tomto modelu.