Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. R. Amadio and M. Dam. Reasoning about higher-order processes. SICS Research report RR:94-18, 1994. To appear in Proc. CAAP'95.
2. H. Andersen, C. Stirling, and G. Winskel. A compositional proof system for the modal μ-calculus. In Proc. LICS'94, 1994.
3. J. Bradfield and C. Stirling. Local model checking for infinite state spaces. Theoretical Computer Science, 96:157–174, 1992.
4. R. Cleaveland, M. Dreimüller, and B. Steffen. Faster model checking for the modal mu-calculus. In Proc. CAV'92, Lecture Notes in Computer Science, 663:383–394, 1992.
5. M. Dam. Model checking mobile processes (full version). SICS report RR 94:1, 1994. Prel. version appeared in Proc. Concur'93, LNCS 715, pp. 22–36.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献