Design and synthesis of synchronization skeletons using branching time temporal logic

This publication has 12 references indexed in Scilit:

• Decision procedures and expressiveness in the temporal logic of branching time
  Published by Association for Computing Machinery (ACM) ,1982
• The Total Correctness of Parallel Programs
  SIAM Journal on Computing, 1981
• Finite models for deterministic propositional dynamic logic
  Lecture Notes in Computer Science, 1981
• On the temporal analysis of fairness
  Published by Association for Computing Machinery (ACM) ,1980
• Characterizing correctness properties of parallel programs using fixpoints
  Published by Springer Nature ,1980
• A practical decision method for propositional dynamic logic (Preliminary Report)
  Published by Association for Computing Machinery (ACM) ,1978
• Program invariants as fixed points
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1977
• Depth-First Search and Linear Graph Algorithms
  SIAM Journal on Computing, 1972
• First-Order Logic
  Published by Springer Nature ,1968
• A lattice-theoretical fixpoint theorem and its applications
  Pacific Journal of Mathematics, 1955