A behavioural theory for a π-calculus with preorders.

Daniel Hirschkoff Jean-Marie Madiot Xian Xu

Published in: J. Log. Algebraic Methods Program. (2015)

Keyphrases

computer algebra
theoretical basis
theoretical framework
genetic algorithm
artificial neural networks
computational model
first order logic
machine learning
decision making
theoretical foundation
formal theory