Comparing Process Behaviors with Finite Chu Spaces
Xutao Du, Chunxiao Xing, Lizhu Zhou · IEICE Transactions on Information and Systems · 2011
We develop a distance function for finite Chu spaces based on their behavior. Typical examples are given to show the coincidence between the distance function and intuition. We show by example that the triangle inequality should not be satisfied when it comes to comparing two processes.