Tutorial 0 - 25th September 2019 Flashcards
PROMELA and Spin Exercises
1
Q
Can active processes run more than once?
A
No
2
Q
Can processes interfere in changing the order by which they atomically execute, or can they also interfere by executing one line of one process, then one line of another, etc?
A
Both are possible. Even within conditional lines, a conditional check can be made in one process, then a line in another will execute, before returning to execute the body of the conditional in the first process.