Author:
Abadi Martín,Lamport Leslie,Wolper Pierre
Publisher
Springer Berlin Heidelberg
Reference37 articles.
1. Martín Abadi and Leslie Lamport. The Existence of Refinement Mappings. Research Report SRC29, Digital Equipment Corporation, Systems Research Center, August 1988. A short version of this paper appeared in the Proceedings of the Third Annual Symposium on Logic in Computer Science.
2. Bowen Alpern and Fred B. Schneider. Defining liveness. Information Processing Letters, 21:181–185, October 1985.
3. Bowen Alpern and Fred B. Schneider. Recognizing Safety and Liveness. Technical Report TR86-727, Department of Computer Science, Cornell University, January 1986.
4. S. D. Brookes, C. A. R. Hoare, and A. W. Roscoe. A theory of communicating sequential processes. Journal of the ACM, 31(7):560–599, 1984.
5. J. Richard Büchi and Lawrence H. Landweber. Solving sequential conditions by finite state strategies. Transactions of the American Mathematical Society, 138:295–311, 1969.
Cited by
107 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. SynthLearn: A Tool for Guided Reactive Synthesis;Lecture Notes in Computer Science;2024
2. Proactive Real-Time First-Order Enforcement;Lecture Notes in Computer Science;2024
3. Adapting Specifications for Reactive Controllers;2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS);2023-05
4. LTL Reactive Synthesis with a Few Hints;Tools and Algorithms for the Construction and Analysis of Systems;2023
5. Behavioral QLTL;Multi-Agent Systems;2023