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