Epistemic Logic for the Applied Pi Calculus.

Rohit Chadha Stéphanie Delaune Steve Kremer Epistemic Logic for the Applied Pi Calculus. 182-197 2009 FMOODS/FORTE http://dx.doi.org/10.1007/978-3-642-02138-1_12 conf/forte/2009 db/conf/forte/forte2009.html#ChadhaDK09