Publisher
Springer Berlin Heidelberg
Reference40 articles.
1. Martín Abadi and Leslie Lamport. The existence of refinement mappings. Theoretical Computer Science, 82(2):253–284, May 1991.
2. Martín Abadi and Leslie Lamport. An old-fashioned recipe for real time. Research Report 91, Digital Equipment Corporation Systems Research Center, 1992. An earlier version, without proofs, appeared in [13, pages 1–27].
3. Martín Abadi and Leslie Lamport. Conjoining specifications. To appear as an SRC Research Report, 1993.
4. M. W. Alford et al. Distributed Systems: Methods and Tools for Specification, chapter 5. Lecture Notes in Computer Science, 190. Springer-Verlag, 1985.
5. Bowen Alpern and Fred B. Schneider. Defining liveness. Information Processing Letters, 21(4):181–185, October 1985.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On Locally Minimum and Strongest Assumption Generation Method for Component-Based Software Verification;IEICE Transactions on Information and Systems;2019-08-01
2. On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems;Proceedings of the Tenth International Symposium on Information and Communication Technology - SoICT 2019;2019
3. Peterson’s algorithm Total correctness proof in IPCL;PROBLEMS IN PROGRAMMING;2016-06
4. 1 Models of Reactive Systems;Model-Based Engineering of Embedded Real-Time Systems;2010
5. Combining Aspects of Reactive Systems;Lecture Notes in Computer Science;2004