"Computational Semantics for Basic Protocol Logic - A Stochastic Approach."

Gergei Bana, Koji Hasebe, Mitsuhiro Okada (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics