Author:
Nielson F.,Cousot P.,Dam M.,Degano P.,Jouvelot P.,Mycroft A.,Thomsen B.
Publisher
Springer Berlin Heidelberg
Reference88 articles.
1. R. Amadio and M. Dam. Reasoning about higher-order processes. In Proc. CAAP'94, Lecture Notes in Computer Science, 915:202–217, 1995.
2. R. Amadio and M. Dam. A modal theory of types for the π-calculus. In Proc. FTRTFT'96, Lecture Notes in Computer Science, 1135:347–365, 1996.
3. H. Andersen, C. Stirling, and G. Winskel. A compositional proof system for the modal μ-calculus. In Proc. LICS'94, 1994.
4. J.-M Andreoli and R. Pareschi: ”Linear objects: Logical processes with built-in inheritance”. In D.H.D. Warren and P. Szeredi, editors, 7th Int. Conf. Logic Programming. MIT Press, 1990.
5. J.-M Andreoli, R. Pareschi, L. Leth and B. Thomsen: ”True Concurrency Semantics for a Linear Logic Programming Language with Broadcast Communication”. In proc. Conf. on Theory and Practice of Software Development (TAPSOFT'93), vol 668 of LNCS, pp. 182–198. Springer Verlag, 1993.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献