Well-formed control flow for critical sections in RTFM-core.

Per Lindgren, Marcus Lindner, Andreas Lindner, David Pereira, Lus Miguel Pinho

Browse the full INDIN paper archive.