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

Published in: LOPSTR (2013)

Keyphrases

timed automata
petri net
model checking
encoding scheme
fractal image compression
algebraic structure
variable length
automated deduction
lambda calculus
real time
formal language
computer algebra
logical representation