A Parametric Framework for Reversible π-Calculi.

Doriana Medic Claudio Antares Mezzina Iain Phillips Nobuko Yoshida

Published in: CoRR (2018)

Keyphrases

main contribution
computational framework
database
information retrieval
genetic algorithm
multiresolution
theoretical framework
logical framework