I need to generate a Control Flow-Graph of a concurrent system. But the methods I found for the generation are based on sequential systems.So I want to know that can I apply the same method for concurrent systems also or there are some other methods for generating CFG from concurrent system.
Aucun commentaire:
Enregistrer un commentaire