A logic for the description of non-deterministic programs and their properties
- 1 January 1986
- journal article
- Published by Elsevier in Information and Control
- Vol. 68 (1-3) , 254-270
- https://doi.org/10.1016/s0019-9958(86)80038-9
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- The temporal logic of branching timeActa Informatica, 1983
- Fairness and related properties in transition systems ? a temporal logic to deal with fairnessActa Informatica, 1983