Pages that link to "Item:Q1781996"
From MaRDI portal
The following pages link to Decomposition orders -- another generalisation of the fundamental theorem of arithmetic (Q1781996):
Displaying 5 items.
- Unique parallel decomposition in branching and weak bisimulation semantics (Q896916) (← links)
- On the existence and decidability of unique decompositions of processes in the applied \(\pi\)-calculus (Q896922) (← links)
- (Q5015359) (← links)
- Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? (Q5056368) (← links)
- Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences (Q5179048) (← links)
