Preview
Unable to display preview. Download preview PDF.
10. References
Campbell, R. and Habermann, A., The specification of process synchronization by path expressions, Lecture Notes in Computer Science, Springer-Verlag, Volume 16, 1974, pp. 89–102.
Harel, D, First-order Dynamic Logic, Springer-Verlag Lecture Notes, No. 68, 1979.
Manna, Z. and Wolper, P., Synthesis of communicating processes from temporal logic specifications, 253–281 in Proceedings of the Workshop on Logics of Programs, 1981.
Moszkowski, B., A temporal logic for multi-level reasoning about hardware, Technical Report STAN-CS-82-952, Computer Science Department, Stanford University, 1982.
Plaisted, D., A decision procedure for combinations of propositional temporal logic and other specialized theories, SRI International unpublished report, March, 1983.
Pratt, V., Semantical considerations on Floyd-Hoare logic, Proceedings of the 17th Annual IEEE Symposium on Foundations of Computer Science (1976)109–121.
Schwartz, R., Melliar-Smith, P. M., and Vogt, F., An interval logic for higher level temporal reasoning: language definition and examples, Computer Science Laboratory, SRI International Tech. Report CSL-138, 1983.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Plaisted, D.A. (1984). A low level language for obtaining decision procedures for classes of temporal logics. In: Clarke, E., Kozen, D. (eds) Logics of Programs. Logic of Programs 1983. Lecture Notes in Computer Science, vol 164. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-12896-4_377
Download citation
DOI: https://doi.org/10.1007/3-540-12896-4_377
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12896-0
Online ISBN: 978-3-540-38775-6
eBook Packages: Springer Book Archive