An efficient algorithm for minimizing real-time transition systems

This publication has 14 references indexed in Scilit:

• Decidability of bisimulation equivalences for parallel timer processes
  Published by Springer Nature ,1993
• Minimum and maximum delay problems in real-time systems
  Formal Methods in System Design, 1992
• Minimal state graph generation
  Science of Computer Programming, 1992
• Online minimization of transition systems (extended abstract)
  Published by Association for Computing Machinery (ACM) ,1992
• CCS expressions, finite state processes, and three problems of equivalence
  Information and Computation, 1990
• Timing assumptions and verification of finite-state concurrent systems
  Published by Springer Nature ,1990
• Efficient tests for top-down termination of logical rules
  Journal of the ACM, 1988
• An improved protocol reachability analysis technique
  Software: Practice and Experience, 1988
• Three Partition Refinement Algorithms
  SIAM Journal on Computing, 1987
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986