Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. M. Abadi and L. Lamport. Conjoining specifications. ACM Transactions on Programming Languages and Systems, 17(3):507–534, 1995.
2. Lect Notes Comput Sci;M. Abadi,1995
3. B. Alpern and F. B. Schneider. Defining liveness. Information Processing Letters, 21:181–185, 1985.
4. R. Alur and T. A. Henzinger. Reactive modules. In LICS, pages 207–218. IEEE Computer Society, 1996.
5. E. A. Emerson. Modal and temporal logics. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 135–191. Elsevier, 1990.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automated circular assume-guarantee reasoning;Formal Aspects of Computing;2018-09
2. Compositional Reasoning;Handbook of Model Checking;2018
3. Debits and Credits in Petri Nets and Linear Logic;Lecture Notes in Computer Science;2015
4. ASSUME-GUARANTEE REASONING WITH LOCAL SPECIFICATIONS;International Journal of Foundations of Computer Science;2013-06
5. Assume-Guarantee Reasoning with Local Specifications;Formal Methods and Software Engineering;2010