Pages that link to "Item:Q911263"

The following pages link to Automated analysis of mutual exclusion algorithms using CCS (Q911263):

Displaying 3 items.

• Liveness of a mutex algorithm in a fair process algebra (Q1015393) (← links)
• Deciding bisimilarity is P-complete (Q1203120) (← links)
• Equivalence checking 40 years after: a review of bisimulation tools (Q6163887) (← links)