Skip to content

Schedulers as Abstract Interpreter of Higher Dimensional Automata.

Eric Goubault

VenueCPEPM
Year1995
ProceedingsPEPM

Browse the full PEPM paper archive.