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
480 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Challenges of software verification: the past, the present, the future;International Journal on Software Tools for Technology Transfer;2024-08
2. General monitorability of totally ordered verdict domains;Innovations in Systems and Software Engineering;2024-04-06
3. Combining Analyses Within Frama-C;Computer Science Foundations and Applied Logic;2024
4. Runtime Annotation Checking with Frama-C: The E-ACSL Plug-in;Computer Science Foundations and Applied Logic;2024
5. The Heart of Frama-C: The Frama-C Kernel;Computer Science Foundations and Applied Logic;2024