Author:
Cohen Ariel,Namjoshi Kedar S.
Publisher
Springer Berlin Heidelberg
Reference37 articles.
1. Lecture Notes in Computer Science;R. Alur,1999
2. Lecture Notes in Computer Science;S. Chaki,2005
3. Mani Chandy, K., Misra, J.: Parallel Program Design: A Foundation. Addison-Wesley, Reading (1988)
4. Chandy, K.M., Misra, J.: Proofs of networks of processes. IEEE Transactions on Software Engineering 7(4) (1981)
5. Lecture Notes in Computer Science;E.M. Clarke,1982
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Commutativity for Concurrent Program Termination Proofs;Computer Aided Verification;2023
2. Compositional Reasoning;Handbook of Model Checking;2018
3. Compositional Analysis Using Component-Oriented Interpolation;Formal Aspects of Component Software;2015
4. Model Checking in Bits and Pieces;Electronic Proceedings in Theoretical Computer Science;2013-09-19
5. Uncovering Symmetries in Irregular Process Networks;Lecture Notes in Computer Science;2013