ROHIT MISHRA; MD ZEESHAAN; SANJAY SINGH. Two Way Concurrent Buffer System without Deadlock in Various Time Models Using Timed Automata. International Journal of Computer Information Systems and Industrial Management Applications, [S. l.], v. 6, p. 11, 2014. Disponível em: https://cspub-ijcisim.org/index.php/ijcisim/article/view/235. Acesso em: 3 jul. 2024.