Epistemic Logic for the Applied Pi Calculus⋆ Rohit Chadha1 , St´ephanie Delaune2 , and Steve Kremer2 1 2 University of Illinois at Urbana-Champaign, USA - Rohit - Document - PDFSEARCH.IO

First Page	Meta Content
	Epistemic Logic for the Applied Pi Calculus⋆ Rohit Chadha1 , St´ephanie Delaune2 , and Steve Kremer2 1 2 University of Illinois at Urbana-Champaign, USA Add to Reading List Document Date: 2009-07-06 12:39:48 Open Document File Size: 184,00 KB Share Result on Facebook

Epistemic Logic for the Applied Pi Calculus⋆ Rohit Chadha1 , St´ephanie Delaune2 , and Steve Kremer2 1 2 University of Illinois at Urbana-Champaign, USAAdd to Reading List