Pages that link to "Item:Q1322469"

The following pages link to Characteristic formulae for processes with divergence (Q1322469):

Displaying 25 items.

• Reasoning about nondeterministic and concurrent actions: A process algebra approach (Q1277769) (← links)
• The power of reachability testing for timed automata (Q1399974) (← links)
• The complexity of bisimilarity-checking for one-counter processes. (Q1401395) (← links)
• Predicate liftings and functor presentations in coalgebraic expression languages (Q1798785) (← links)
• Verifying persistent security properties (Q1886452) (← links)
• The complexity of identifying characteristic formulae (Q1987735) (← links)
• Encoding safety in \(\mathrm{CLL}_R\) (Q2055960) (← links)
• Characteristic invariants in Hennessy-Milner logic (Q2182678) (← links)
• Complete proof systems for weighted modal logic (Q2253184) (← links)
• Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) (← links)
• When are prime formulae characteristic? (Q2422016) (← links)
• Logical characterisations, rule formats and compositionality for input-output conformance simulation (Q2423772) (← links)
• A general approach to comparing infinite-state systems with their finite-state specifications (Q2503044) (← links)
• Removing redundant refusals: minimal complete test suites for failure trace semantics (Q2687991) (← links)
• Characteristic formulae for timed autoamta (Q2729632) (← links)
• A logical process calculus (Q2842601) (← links)
• Characteristic formulae for fixed-point semantics: a general framework (Q2883115) (← links)
• When Are Prime Formulae Characteristic? (Q2946326) (← links)
• Connection between logical and algebraic approaches to concurrent systems (Q3060196) (← links)
• Property-oriented expansion (Q5030184) (← links)
• Unifying models (Q5047155) (← links)
• Characteristic formulae for fixed-point semantics: a general framework (Q5146592) (← links)
• (Q5155663) (← links)
• Event Identifier Logic (Q5740354) (← links)
• Deciding bisimulation-like equivalences with finite-state processes (Q5941202) (← links)