Pages that link to "Item:Q2216117"
From MaRDI portal
The following pages link to Team equivalences for finite-state machines with silent moves (Q2216117):
Displaying 5 items.
- A study on team bisimulation and H-team bisimulation for BPP nets (Q2055961) (← links)
- Branching place bisimilarity: a decidable behavioral equivalence for finite Petri nets with silent moves (Q2117014) (← links)
- Team bisimilarity, and its associated modal logic, for BPP nets (Q2231652) (← links)
- Verification of finite-state machines: a distributed approach (Q2413026) (← links)
- Causal Semantics for BPP Nets with Silent Moves (Q5164874) (← links)