Simulation of one abstract computing machine by another

N.K. Ratha, A.K. Jain, et al.

Workshop CAMP 2000

Khalid Abdulla, Andrew Wirth, et al.

ICIAfS 2014

Robert C. Durbeck

IEEE TACON

Thomas R. Puzak, A. Hartstein, et al.

CF 2007