Author:
Choppella Venkatesh,Sanjeev Arjun,Viswanath Kasturi,Jayaraman Bharat
Publisher
Springer International Publishing
Reference34 articles.
1. Gamma, E., Helm, R., Johnson, R., Visslides, R.: Design Patterns: Elements of Reusable Object-Oriented Software. Addisson-Wesley, Reading (1994)
2. Tabuada, P.: Verification and Control of Hybrid Systems: A Symbolic Approach. Springer, Boston (2009). https://doi.org/10.1007/978-1-4419-0224-5
3. Choppella, V., Viswanath, K., Sanjeev, A.: Generalised dining philosophers as feedback control. arXiv preprint arXiv:1805.02010 (2018)
4. Chandy, M., Misra, J.: Parallel Program Design: A Foundation. Addison–Wesley, Reading (1988)
5. Dijkstra, E.W.: Hierarchical ordering of sequential processes. Acta Informatica 1, 115–138 (1971). Also published as EWD 310
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献