Author:
Abdulla Parosh Aziz,Kindahl Mats
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. R. Alur, C. Courcoubetis, and D. Dill. Model-checking for real-time systems. In Proc. 5th
IEEE Int. Symp. on Logic in Computer Science, pages 414–425, Philadelphia, 1990.
2. Parosh Aziz Abdulla and Bengt Jonsson. Verifying programs with unreliable channels. In Proc. 8th
IEEE Int. Symp. on Logic in Computer Science, 1993. Accepted for Publication in Information and Computation.
3. Parosh Aziz Abdulla and Bengt Jonsson. Undecidable verification problems for programs with unreliable channels. In Abiteboul and Shamir, editors, Proc. ICALP '94, volume 820 of Lecture Notes in Computer Science, pages 316–327. Springer Verlag, 1994.
4. G. V. Bochman. Finite state description of communicating protocols. Computer Networks, 2:361–371, 1978.
5. O. Burkart and B. Steffen. Model checking for context-free processes. In Cleaveland, editor, Proc. CONCUR '92, Theories of Concurrency: Unification and Extension, number 630 in Lecture Notes in Computer Science, pages 123–137. Springer Verlag, 1992.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献