Author:
Amadio Roberto M.,Dam Mads
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. R. Amadio and M. Dam. Reasoning about higher-order processes. In Proc. CAAP 95, Aarhus. SLNCS 915, 1995. Preliminary version appeared as SICS RR 94-18, available at http://wwwi3s.unice.fr/~amadio/.
2. R. Amadio and M. Dam. Toward a modal theory of types for the π-calculus. Technical Report 95-18, Swedish Institute for Computer Science, Stockholm, 1995. Available at ftp://sics.se/pub/fdt/mfd/tmttpc.ps.Z.
3. M. Dam. Model checking mobile processes. In Proc. CONCUR'93, Lecture Notes in Computer Science, 715:22–36, 1993. Full version in SICS report RR94:1, 1994.
4. M. Dam. Compositional proof systems for model checking infinite state processes. In Proc. CONCUR'95, Lecture Notes in Computer Science, 962:12–26, 1995.
5. M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of the ACM, 32:137–162, 1985.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献