Pages that link to "Item:Q912592"
From MaRDI portal
The following pages link to Proof systems for satisfiability in Hennessy-Milner logic with recursion (Q912592):
Displaying 33 items.
- Duality and the completeness of the modal \(\mu\)-calculus (Q671986) (← links)
- Observing localities (Q685414) (← links)
- Automatic verification of distributed systems: the process algebra approach. (Q960505) (← links)
- Local model checking in the modal mu-calculus (Q1177939) (← links)
- Compositionality and bisimulation: A negative result (Q1182130) (← links)
- Local model checking for infinite state spaces (Q1190489) (← links)
- Full abstractness for a functional/concurrent language with higher-order value-passing (Q1271466) (← links)
- Reasoning about nondeterministic and concurrent actions: A process algebra approach (Q1277769) (← links)
- A complete modal proof system for HAL: the Herbrand agent language (Q1311969) (← links)
- Model checking for action-based logics (Q1326587) (← links)
- The power of reachability testing for timed automata (Q1399974) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- On decidability of recursive weighted logics (Q1797779) (← links)
- Compositionality for quantitative specifications (Q1797783) (← links)
- The complexity of identifying characteristic formulae (Q1987735) (← links)
- Encoding safety in \(\mathrm{CLL}_R\) (Q2055960) (← links)
- On bidirectional runtime enforcement (Q2117010) (← links)
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) (← links)
- A linear-time-branching-time spectrum for behavioral specification theories (Q2291820) (← links)
- Determinizing monitors for HML with recursion (Q2291832) (← links)
- Logical vs. behavioural specifications (Q2304534) (← links)
- On the complexity of determinizing monitors (Q2399244) (← links)
- Monitorability for the Hennessy-Milner logic with recursion (Q2402551) (← links)
- Logical characterisations, rule formats and compositionality for input-output conformance simulation (Q2423772) (← links)
- Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic (Q2864163) (← links)
- Characteristic formulae for fixed-point semantics: a general framework (Q2883115) (← links)
- Modal logic and the approximation induction principle (Q2883116) (← links)
- Model Checking Value-Passing Modal Specifications (Q3455083) (← links)
- (Q5009452) (← links)
- Monitoring for Silent Actions (Q5136296) (← links)
- Bidirectional Runtime Enforcement of First-Order Branching-Time Properties (Q5883741) (← links)
- Alternation-free weighted mu-calculus: decidability and completeness (Q5971405) (← links)
- On first-order runtime enforcement of branching-time properties (Q6090988) (← links)
