Pages that link to "Item:Q5179048"
From MaRDI portal
The following pages link to Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences (Q5179048):
Displaying 8 items.
- Partially-commutative context-free processes: expressibility and tractability (Q532392) (← links)
- Unique parallel decomposition in branching and weak bisimulation semantics (Q896916) (← links)
- Non-interleaving bisimulation equivalences on basic parallel processes (Q1049404) (← links)
- Bisimilarity on basic parallel processes (Q2072066) (← 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)
- Partially-Commutative Context-Free Processes (Q3184678) (← links)
- Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems (Q3449627) (← links)
