Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. K.A. BARTLETT, R.A. SCANTLEBURY and P.T. WILKINSON "A note on reliable full-duplex transmission over half-duplex links" CACM, Vol. 12, No5, May 1969, pp. 260–261.
2. M. BEN-ARI, Z. MANNA and A. PNUELI "The temporal logic of branching time" Proc. 8th Annual ACM Symp. on Principles of Programming Languages, Jan. 1981, pp. 164–176.
3. J. BREMER and O. DROBNIK "A new approach to protocol design and validation" IBM research report RC 8018, IBM Yorktown Heights, Dec. 1979
4. P. BRINCH HANSEN "Distributed Processes: A concurrent programming concept" CAM, Vol. 21, No5, Nov. 1978, pp. 934–941.
5. E.M. CLARKE Jr. "Synthesis of resource invariants for concurrent programs" ACM Trans. on Progr. Languages and Systems, Vol. 2, No3, July 1980, pp. 338–358.
Cited by
483 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Applicability of Model Checking for Verifying Spacecraft Operational Designs;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01
2. Verification modulo theories;FORM METHOD SYST DES;2023
3. Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels;Proceedings of the ACM on Programming Languages;2023-06-06
4. The Role and Impact of VR during the Epidemic;Highlights in Science, Engineering and Technology;2023-04-13
5. A proof system for unified temporal logic;Theoretical Computer Science;2023-03