Algebraic Theories for Name-Passing Calculi

Joachim Parrow Davide Sangiorgi

Published in: Inf. Comput. (1995)

Keyphrases

qualitative spatial
theoretical framework
algebraic structure
cognitive psychology
expert systems
spatial relations
mathematical theory
reasoning problems