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 - Geoffrey - Document - PDFSEARCH.IO

First Page	Meta Content
	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 Document Date: 2011-10-24 15:43:42 Open Document File Size: 176,22 KB Share Result on Facebook

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