Dino Mandrioli;Carlo Ghezzi
-;-
Using Petri nets to introduce operating system concepts
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education