Text this

Number:

Provider:

CAPTCHA:

 _    _     ______  __    __    ______   _    _   
| \  / ||  /_   _// \ \\ / //  /_   _// | |  | || 
|  \/  ||   -| ||-   \ \/ //    -| ||-  | |/\| || 
| .  . ||   _| ||_    \  //     _| ||_  |  /\  || 
|_|\/|_||  /_____//    \//     /_____// |_// \_|| 
`-`  `-`   `-----`      `      `-----`  `-`   `-`

Please enter what you see:

Text this: Detecting deadlock in activity diagram using process automata