A Process Calculus with Finitary Comprehended Terms.

Jan A. Bergstra Cornelis A. Middelburg

Published in: Theory Comput. Syst. (2013)

Keyphrases

case study
development process
database
computer vision
multi agent systems
co occurrence
process model
inference rules