On the Expressiveness of Polyadicity in Higher-Order Process Calculi.

Ivan Lanese Jorge A. Pérez Davide Sangiorgi Alan Schmitt

Published in: ICTCS (2009)

Keyphrases

higher order
high order
real world
multiscale
video sequences
natural images
process model