Author:
Marion Jean-Yves,Péchoux Romain
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Lecture Notes in Computer Science;R. Amadio,2003
2. Lecture Notes in Computer Science;R. Amadio,2004
3. Amadio, R., Zilio, S.D.: Resource control for synchronous cooperative threads. Research Report LIF
4. Arts, T., Giesl, J.: Termination of term rewriting using dependency pairs. Theoretical Computer Science 236, 133–178 (2000)
5. Aspinall, D., Compagnoni, A.: Heap bounded assembly language. Journal of Automated Reasoning (Special Issue on Proof-Carrying Code) 31, 261–302 (2003)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献