Two Way Concurrent Buffer System without Deadlock in Various Time Models Using Timed Automata

Rohit Mishra, Md Zeeshan, Sanjay Singh

Two way buffer system is a system that exhibits transfer of data using two buffers concurrently. It includes processes that synchronize to exchange data with each other along with…