Pages that link to "Item:Q2503324"
From MaRDI portal
The following pages link to Decidability of performance equivalence for basic parallel processes (Q2503324):
Displaying 11 items.
- Undecidability of performance equivalence of Petri nets (Q507373) (← links)
- A theory of processes with durational actions (Q674005) (← 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)
- Interdefinability of parallel operations in PCF (Q2638760) (← links)
- (Q2979815) (← links)
- Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes (Q3090854) (← links)
- (Q4508291) (← links)
- Equivalence relations for modular performance evaluation in dtsPBC (Q5740349) (← links)