Process logic: Expressiveness, decidability, completeness
- David Harel
- Dexter Kozen
- et al.
- 1982
- Journal of Computer and System Sciences
Publications
Date
Featured collections
Popular topics
4 results for Rohit Parikh
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