Deciding Bisimilarity between BPA and BPP Processes.

Petr Jancar Antonín Kucera Faron Moller

Published in: CONCUR (2003)

Keyphrases

bit rate
computational models
data sets
neural network
process model
social networks
computer vision
e learning
image processing
digital images
software engineering
compression scheme