Two Way Concurrent Buffer System without Deadlock in Various Time Models Using Timed Automata
| Main Author: | Rohit Mishra, Md Zeeshan and Sanjay Singh |
|---|---|
| Format: | Article |
| Terbitan: |
, 2014
|
| Online Access: |
https://zenodo.org/record/7694 |