A constructive version of AIP revisited
Alistair Barros, Tie Hou · UvA-DARE (University of Amsterdam) · 2008
In this paper, we review a constructive version of the Approximation Induction Principle. This version states that bisimilarity of regular processes can be decided by observing only a part of their behaviour. We use this constructive version to formulate a complete inference system for the Algebra of Communicating Processes with linear recursive specifications.