1. Global renaming operators over concrete process algebra;Baeten;Inform. and Comput.,1988
2. Recursive process definitions with the state operator;Baeten,1988
3. Decidability of bisimulation equivalence for processes generating context-free languages;Baeten,1987
4. The algebra of recursively defined processes and the algebra of regular processes;Bergstra,1984
5. Process algebra for synchronous communication;Bergstra;Inform. and Control,1984