Symbolic bisimulation minimisation

This publication has 5 references indexed in Scilit:

• The concurrency workbench
  Published by Springer Nature ,1990
• Three Partition Refinement Algorithms
  SIAM Journal on Computing, 1987
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Algèbre de processus et synchronisation
  Theoretical Computer Science, 1984
• CCS expressions, finite state processes, and three problems of equivalence
  Published by Association for Computing Machinery (ACM) ,1983