The State diagram of the process thread in Promela
Promela model for pThread
×
https://people.iut.ac.ir/en/mahmoudzadeh/promela-model-pthread?view=qrcode