A Behavioural Theory for a π-calculus with Preorders.

Daniel Hirschkoff Jean-Marie Madiot Xian Xu

Published in: FSEN (2015)

Keyphrases

computer algebra
theoretical framework
general theory
databases
neural network
data mining
knowledge base
theoretical basis
probability theory
algebraic structure