Yet another process logic

This publication has 14 references indexed in Scilit:

• Using graphs to understand PDL
  Published by Springer Nature ,2005
• Propositional Dynamic Logic of looping and converse
  Published by Association for Computing Machinery (ACM) ,1981
• Descriptively complete process logic
  Acta Informatica, 1980
• Process logic: Expressiveness, decidability, completeness
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1980
• On the temporal analysis of fairness
  Published by Association for Computing Machinery (ACM) ,1980
• Propositional dynamic logic of regular programs
  Journal of Computer and System Sciences, 1979
• Two results on process logic
  Information Processing Letters, 1979
• A decidability result for a second order process logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1978
• The temporal logic of programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1977
• Theories of automata on ω-tapes: A simplified approach
  Journal of Computer and System Sciences, 1974