A general model of concurrency and its implementation as many-core dynamic RISC processors | IEEE Conference Publication | IEEE Xplore