Recursive equations in higher-order process calculi.

Mingsheng Ying Martin Wirsing

Published in: Theor. Comput. Sci. (2001)

Keyphrases

higher order
high order
real time
genetic algorithm
information systems
image processing
process model