"Encoding of processor instruction sets with explicit concurrency control."

Andrey Mokhov, Arseniy Alekseyev, Alex Yakovlev (2011)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics