Promela model for pThread

The State diagram of the process thread in Promela

Main navigation

Provided by Information Technology Manager of Isfahan University of Technology (https://it.iut.ac.ir)