Pages that link to "Item:Q789895"
From MaRDI portal
The following pages link to The temporal logic of branching time (Q789895):
Displayed 31 items.
- A hierarchy of temporal logics with past (Q672329) (← links)
- The expressive power of implicit specifications (Q685409) (← links)
- The temporal logic of branching time (Q789895) (← links)
- Branching versus linear logics yet again (Q911747) (← links)
- Proof systems for satisfiability in Hennessy-Milner logic with recursion (Q912592) (← links)
- SnS can be modally characterized (Q914397) (← links)
- Deductive verification of alternating systems (Q939163) (← links)
- Branching-time logics repeatedly referring to states (Q1047801) (← links)
- A multiprocess network logic with temporal and spatial modalities (Q1058846) (← links)
- Synthesis of communicating process skeletons from temporal-spatial logic specifications (Q1116944) (← links)
- Characterizing finite Kripke structures in propositional temporal logic (Q1123183) (← links)
- TABLEAUX: A general theorem prover for modal logics (Q1181709) (← links)
- Formal timing analysis of distributed systems (Q1193762) (← links)
- CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus (Q1325848) (← links)
- Almost-certain eventualities and abstract probabilities in the quantitative temporal logic qTL (Q1395428) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Quantitative program logic and expected time bounds in probabilistic distributed algorithms. (Q1603711) (← links)
- An infinite hierarchy of temporal logics over branching time (Q1854487) (← links)
- Automatic and hierarchical verification for concurrent systems (Q2277847) (← links)
- A multiset-based model of synchronizing agents: Computability and robustness (Q2474434) (← links)
- Characterizing CTL-like logics on finite trees. (Q2490815) (← links)
- \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\) (Q2500472) (← links)
- Interleaving set temporal logic (Q2639046) (← links)
- One-Pass Tableaux for Computation Tree Logic (Q3498455) (← links)
- Branching vs. Linear Time: Semantical Perspective (Q3510781) (← links)
- The Birth of Model Checking (Q3512430) (← links)
- DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC (Q3512441) (← links)
- SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR (Q3512442) (← links)
- On the Complexity of Branching-Time Logics (Q3644771) (← links)
- TTL : a formalism to describe local and global properties of distributed systems (Q3992090) (← links)
- Meanings of Model Checking (Q5187832) (← links)