Pages that link to "Item:Q5431340"
From MaRDI portal
The following pages link to Mathematical Foundations of Computer Science 2003 (Q5431340):
Displayed 6 items.
- Undecidability of performance equivalence of Petri nets (Q507373) (← links)
- The decidability border of hereditary history preserving bisimilarity (Q835053) (← links)
- Non-interleaving bisimulation equivalences on basic parallel processes (Q1049404) (← links)
- Decidability of performance equivalence for basic parallel processes (Q2503324) (← links)
- Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems (Q3449627) (← links)
- Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences (Q5179048) (← links)