A complete inference system for rgular processes with silent moves
Jan Aldert Bergstra, Jan Willem Klop · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1984
We study the notion of bisimulation between process graphs with silent or invisible steps (T-steps).This leads to a normalisation or minimalisation result for regular processes, and furthermore to a complete proof system for regular processes with T-steps and subject to operations + (alternative composition), • (sequential composition) and II (parallel composition or free merge), thereby answering a question of Milner [8] and proving the consistency of a version of Koomen's fair abstraction rule.