Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Chandra, A., J. Lalpern, A. Meyer and R. Parikh: "Equations between regular terms and an application to Process Logic", STOC'81, 384–390.
2. Fischer, M. J. and R. E. Ladner: "Propositional Dynamic Logic of regular programs", JCSS 18(2), 194–211.
3. Habasiński, Z.: "Process Logic: two decidability results", LNCS 176, 282–290.
4. Harel, D.: "Two results on Process Logic", Inf. Processing Letters, 8(4), 195–198.
5. Harel, D., D. Kozen and R. Parikh: "Process Logic: expressiveness, decidability, completeness", JCSS 25, 144–170.