# A Logical Encoding of Timed $$\pi$$ -Calculus

In , editors, Logic-Based Program Synthesis and Transformation, 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers. Volume 8901 of Lecture Notes in Computer Science, pages 164-182, Springer, 2013.

## Abstract

Abstract is missing.