Nontermination and Secure Information Flow ∗ Geoffrey Smith and Rafael Alp´ızar School of Computing and Information Sciences Florida International University Miami, FLUSA October 24, 2011

First Page		Document Content
Date: 2011-10-24 15:43:42		Nontermination and Secure Information Flow ∗ Geoffrey Smith and Rafael Alp´ızar School of Computing and Information Sciences Florida International University Miami, FLUSA October 24, 2011 Add to Reading List Source URL: users.cis.fiu.edu Download Document from Source Website File Size: 176,22 KB Share Document on Facebook