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

Neda Saeedloei

Browse the full LOPSTR paper archive.