Temporal logic programming
- 1 September 1989
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 8 (3), 277-295
- https://doi.org/10.1016/s0747-7171(89)80070-7
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- RACCO: A Modal-Logic Programming Language for Writing Models of Real-Time Process-Control SystemsPublished by Elsevier ,1992
- Specifying Concurrent Program ModulesACM Transactions on Programming Languages and Systems, 1983
- The temporal semantics of concurrent programsTheoretical Computer Science, 1981