Simulation Algorithms for the Metropolis Meta-Model. Felice Balarin, Luciano .... In our approach, instead of generating machine code directly from meta- .... At the beginning of a design process, it may be appropriate to use a simulator with as .... ifies a. If a is a critical section, then Blocking(a) contains all active. For the most ...