Author:
Fournet Cédric,Gonthier Georges,Levy Jean-Jacques,Maranget Luc,Rémy Didier
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. R. Amadio and S. Prasad. Localities and failures. In 14th Foundations of Software Technology and Theoretical Computer Science Conference. Springer-Verlag, 1994. LNCS 880.
2. G. Berry and G. Boudol. The chemical abstract machine. Theoretical Computer Science, 96:217–248, 1992.
3. K. A. Bharat and L. Cardelli. Migratory applications. Technical Report 138, DEC-SRC, February 1996.
4. G. Boudol, I. Castellani, M. Hennessy, and A. Kiehn. A theory of processes with localities. Formal Aspects of Computing, 6:165–200, 1994.
5. L. Cardelli. A language with distributed scope. Computing Systems, 8(1):27–59, Jan. 1995.
Cited by
143 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献