On the parallel complexity of model checking in the modal mu-calculus

This publication has 16 references indexed in Scilit:

• Vectorized model checking for computation tree logic
  Published by Springer Nature ,2005
• A parallel algorithm for constructing binary decision diagrams
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• The concurrency factory - Practical tools for specification, simulation, verification, and implementation of concurrent systems
  Published by American Mathematical Society (AMS) ,1994
• Vectorized symbolic model checking of computation tree logic for sequential machine verification
  Published by Springer Nature ,1992
• CCS expressions, finite state processes, and three problems of equivalence
  Information and Computation, 1990
• Parallel complexity of logical query programs
  Algorithmica, 1988
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Algebraic laws for nondeterminism and concurrency
  Journal of the ACM, 1985
• Results on the propositional μ-calculus
  Theoretical Computer Science, 1983
• Propositional dynamic logic of regular programs
  Journal of Computer and System Sciences, 1979