Sign in
Reversible session-based pi-calculus.
Francesco Tiezzi
Nobuko Yoshida
Published in:
J. Log. Algebraic Methods Program. (2015)
Keyphrases
</>
markov chain
cellular automata
formal language
algebraic structure
real time
automated deduction