High Quality Content by WIKIPEDIA articles! In theoretical computer science a simulation preorder is a relation between state transition systems associating systems which behave in the same way in the sense that one system simulates the other.Intuitively, a system simulates another system if it can match all of its moves.The basic definition relates states within one transition system, but this is easily adapted to relate two separate transition systems by building a system consisting of the disjoint union of the corresponding components.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.