Preview
Unable to display preview. Download preview PDF.
References
Fischer M. J., Ladner R. E. Propositional Dynamic Logic of regular programs JCSS 18(2), 1979, pp. 194–211.
Harel D. Two results on Process Logic Inf. Processing Letters 8(4), 1979, pp. 195–198.
Emerson E. A., Halpern J. Y. Decision procedures and expressiveness in the Temporal Logic of Branching Time STOC'82, pp. 169–180.
Pratt V. R. Process Logic: preliminary report POPL'79, pp. 93–100.
Rabin M. C. Weakly definable relations and special automata in: Math. Logic and Found. of Set Theory, (Y. Bar-Hillel ed.) North Holland Pub. Co., 1970, pp. 1–23.
Wolper P. L. Synthesis of Communicating Processes from Temporal Logic Specifications, Report of the Dep. of Comp. Sci., Stanford Univ., 1982.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Habasiński, Z. (1984). Process logics : two decidability results. In: Chytil, M.P., Koubek, V. (eds) Mathematical Foundations of Computer Science 1984. MFCS 1984. Lecture Notes in Computer Science, vol 176. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0030309
Download citation
DOI: https://doi.org/10.1007/BFb0030309
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13372-8
Online ISBN: 978-3-540-38929-3
eBook Packages: Springer Book Archive