Pages that link to "Item:Q2413026"

The following pages link to Verification of finite-state machines: a distributed approach (Q2413026):

Displayed 3 items.

• Team equivalences for finite-state machines with silent moves (Q2216117) ‎ (← links)
• Team bisimilarity, and its associated modal logic, for BPP nets (Q2231652) ‎ (← links)
• Interleaving vs True Concurrency: Some Instructive Security Examples (Q5100754) ‎ (← links)