Termination in Language-based Systems

Algis Rudys, John Clements, Dan S. Wallach. Termination in Language-based Systems. In Proceedings of the Network and Distributed System Security Symposium, NDSS 2001, San Diego, California, USA. The Internet Society, 2001. [doi]

Abstract

Abstract is missing.