A Fully Abstract Encoding for Sub Asynchronous Pi Calculus.

Wenjun Du Zhengfeng Yang Huibiao Zhu

Published in: TASE (2018)

Keyphrases

state machines
high level
state machine
multiresolution
low level
collaborative learning
encoding scheme
database
data sets
databases
evolutionary algorithm
higher level
expressive power
fractal image compression