| Authors |
|
| Publication date |
2008
|
| Series |
Programming Research Group electronic report series, PRG0802
|
| Number of pages |
15
|
| Publisher |
Amsterdam: Informatics Institute
|
| Organisations |
-
Faculty of Science (FNWI) - Informatics Institute (IVI)
|
| Abstract |
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.
|
| Document type |
Working paper
|
| Published at |
|
|
Permalink to this page
|