Pages that link to "Item:Q1183608"

The following pages link to Process expressions and Hoare's logic: Showing and irreconcilability of context-free recursion with Scott's induction rule (Q1183608):

Displaying 3 items.

• Process algebra with guards: Combining hoare logic with process algebra (Q1329197) (← links)
• Process algebra with four-valued logic (Q4443411) (← links)
• Dormancy-aware timed branching bisimilarity with an application to communication protocol analysis (Q6589835) (← links)