Subject
Hardware and Architecture,Software
Reference11 articles.
1. C. Fournet, G. Gonthier, A Calculus of Mobile Agents, in: Proceedings of CONCUR '96, 1996
2. Linear logic;Girard;Theoretical Computer Science,1987
3. A concurrency model based on linear logic––towards the logical understanding of concurrency;Okada;IPSJ Magazine,1996
4. P. Lincoln, Linear Logic, SIGACT 1992, Available from
5. Communicating and Mobile Systems: The π-calculus;Milner,1999
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献