Publications

4 results for Rohit Parikh

Process logic: Expressiveness, decidability, completeness
- - David Harel
  - Dexter Kozen
  - et al.
- 1982
- Journal of Computer and System Sciences
Equations between regular terms and an application to process logic
- - Ashok Chandra
  - Joe Halpern
  - et al.
- 1981
- STOC 1981
An elementary proof of the completeness of PDL
- - Dexter Kozen
  - Rohit Parikh
- 1981
- Theoretical Computer Science
Process logic: Expressiveness, decidability, completeness
- - David Harel
  - Dexter Kozen
  - et al.
- 1980
- FOCS 1980

Process logic: Expressiveness, decidability, completeness