Publisher
Springer Berlin Heidelberg
Reference40 articles.
1. Rajeev Alur and Thomas A. Henzinger. Reactive modules. In Proceedings, 11 th Annual IEEE Symposium on Logic in Computer Science, pages 207–218, New Brunswick, New Jersey, 27–30 July 1996. IEEE Computer Society Press.
2. Martín Abadi and Leslie Lamport. Composing specifications. ACM Transactions on Programming Languages and Systems, 15(1):73–132, 1993.
3. Martín Abadi and Leslie Lamport. Conjoining specifications. ACM Transactions on Programming Languages and Systems, 17(3):507–534, 1995.
4. Martín Abadi and Gordon D. Plotkin. A logical view of composition. Theoretical Computer Science, 114(1):3–30, 1993.
5. B. Alpern and F. B. Schneider. Defining liveness. Information Processing Letters, 21(4):181–185, October 1985.
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The refinement calculus of reactive systems;Information and Computation;2021-11
2. When Do We Not Need Complex Assume-Guarantee Rules?;ACM Transactions on Embedded Computing Systems;2017-04-14
3. When Do We (Not) Need Complex Assume-Guarantee Rules?;2015 15th International Conference on Application of Concurrency to System Design;2015-06
4. Composing Safe Systems;Formal Aspects of Component Software;2012
5. A Theory of Synchronous Relational Interfaces;ACM Transactions on Programming Languages and Systems;2011-07