Author:
Demangeon Romain,Hirschkoff Daniel,Sangiorgi Davide
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Lecture Notes in Computer Science;L. Cardelli,1998
2. Lecture Notes in Computer Science;R. Demangeon,2008
3. Demangeon, R., Hirschkoff, D., Sangiorgi, D.: Static and Dynamic Typing for the Termination of Mobile Processes. In: Proc. of IFIP TCS 2008. Springer, Heidelberg (2008)
4. Demangeon, R., Hirschkoff, D., Sangiorgi, D.: Termination in Higher- Order Concurrent Calculi (2009) (long version of this paper) (in preparation)
5. Deng, Y., Sangiorgi, D.: Ensuring Termination by Typability. Information and Computation 204(7), 1045–1082 (2006)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Light logics and higher-order processes;Mathematical Structures in Computer Science;2014-11-17
2. Termination in Higher-Order Concurrent Calculi;Fundamentals of Software Engineering;2010