Pages that link to "Item:Q1193593"

The following pages link to A compositional protocol verification using relativized bisimulation (Q1193593):

Displaying 2 items.

• Focus points and convergent process operators: A proof strategy for protocol verification (Q1349249) (← links)
• Extending modal transition systems with structured labels (Q2909731) (← links)