Pages that link to "Item:Q1056534"

The following pages link to Ten years of Hoare's logic: A survey. II: Nondeterminism (Q1056534):

Displaying 21 items.

• Observable behavior of distributed systems: component reasoning for concurrent objects (Q444466) (← links)
• Content dependent information flow control (Q511927) (← links)
• Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language (Q652158) (← links)
• A complete rule for equifair termination (Q1088401) (← links)
• Rewriting with a nondeterministic choice operator (Q1096383) (← links)
• On the programs-as-formulas interpretation of parallel programs in Peano arithmetic (Q1100878) (← links)
• A language independent proof of the soundness and completeness of generalized Hoare logic (Q1122978) (← links)
• Process expressions and Hoare's logic: Showing and irreconcilability of context-free recursion with Scott's induction rule (Q1183608) (← links)
• Process algebra with guards: Combining hoare logic with process algebra (Q1329197) (← links)
• Hoare's logic for nondeterministic regular programs: A nonstandard approach (Q1822934) (← links)
• The origins of structural operational semantics (Q1878710) (← links)
• Verification of concurrent programs: The automata-theoretic framework (Q2277249) (← links)
• Fifty years of Hoare's logic (Q2280214) (← links)
• Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects (Q2864507) (← links)
• Completeness of Hoare Logic Relative to the Standard Model (Q2971129) (← links)
• Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism (Q2974777) (← links)
• Reverse Hoare Logic (Q3095238) (← links)
• Modeling Actor Systems Using Dynamic I/O Automata (Q3179176) (← links)
• Being and Change: Reasoning About Invariance (Q3449632) (← links)
• Hoare Logic for Disjunctive Information Flow (Q3460862) (← links)
• The Hoare Logic of Deterministic and Nondeterministic Monadic Recursion Schemes (Q5277914) (← links)