Persian: subject to the idea


Senior Member
Can you please translate the bolded part into Persian?

The interleaving representation of concurrency is subject to the idea that there is a scheduler which interlocks the steps of concurrently executing processes according to an a priori unknown strategy.

Principles of Model Checking
  • Top