Probabilistic propositional temporal logics
- 1 August 1986
- journal article
- Published by Elsevier in Information and Control
- Vol. 70 (2-3) , 97-155
- https://doi.org/10.1016/s0019-9958(86)80001-8
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Concurrent Probabilistic Programs, Or: How to Schedule If You MustSIAM Journal on Computing, 1985
- Verification of Probabilistic ProgramsSIAM Journal on Computing, 1984
- The temporal logic of branching timeActa Informatica, 1983
- Termination of Probabilistic Concurrent ProgramACM Transactions on Programming Languages and Systems, 1983
- Using branching time temporal logic to synthesize synchronization skeletonsScience of Computer Programming, 1982
- Reasoning with time and chanceInformation and Control, 1982