Pages that link to "Item:Q2503324"
From MaRDI portal
The following pages link to Decidability of performance equivalence for basic parallel processes (Q2503324):
Displaying 6 items.
- Undecidability of performance equivalence of Petri nets (Q507373) (← links)
- Non-interleaving bisimulation equivalences on basic parallel processes (Q1049404) (← links)
- A study on team bisimulation and H-team bisimulation for BPP nets (Q2055961) (← links)
- Team bisimilarity, and its associated modal logic, for BPP nets (Q2231652) (← links)
- Decidability of branching bisimulation on normed commutative context-free processes (Q2254493) (← links)
- Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes (Q3090854) (← links)
