A new strategy for proving ω-completeness applied to process algebra

This publication has 7 references indexed in Scilit:

• Tools for proving inductive equalities, relative completeness, and ω-completeness
  Information and Computation, 1990
• The linear time - branching time spectrum
  Published by Springer Nature ,1990
• Axiomatising Finite Concurrent Processes
  SIAM Journal on Computing, 1988
• Proof by consistency
  Artificial Intelligence, 1987
• Partial evaluation and ω-completeness of algebraic specifications
  Theoretical Computer Science, 1986
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• On proving inductive properties of abstract data types
  Published by Association for Computing Machinery (ACM) ,1980