Sequentiality and the pi-Calculus.

Martin Berger Kohei Honda Nobuko Yoshida

Published in: TLCA (2001)

Keyphrases

bayesian networks
algebraic structure
case study
fuzzy logic
computer algebra
real time
neural network
information systems
medical images
fuzzy sets
automated deduction
database query languages
timed automata