A Formal Specification and Prototyping Language for Multi-core System Management.

Alexei Iliasov, Ashur Rafiev, Fei Xia, Rem Gensh, Alexander B. Romanovsky, Alexandre Yakovlev

Browse the full PDP paper archive.