Temporal logic programming
Open Access
- 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
Funding Information
- Air Force Office of Scientific Research (87-0149, 88-0281)
- Defense Advanced Research Projects Agency (N00039-84-C-0211)
- National Science Foundation (DCR-84-13230, CCR-88-12595)
- Air Force Office of Scientific Research
This publication has 2 references indexed in Scilit:
- Specifying Concurrent Program ModulesACM Transactions on Programming Languages and Systems, 1983
- The temporal semantics of concurrent programsTheoretical Computer Science, 1981