Modeling Operating Systems Schedulers with Multi-Stack-Queue Grammars.

Luca Breveglieri, Stefano Crespi-Reghizzi, Alessandra Cherubini

Browse the full FCT paper archive.