The following pages link to Unique decomposition of processes (Q1208422):
Displaying 11 items.
- On the expressiveness and decidability of higher-order process calculi (Q627133) (← links)
- 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)
- A polynomial algorithm for deciding bisimilarity of normed context-free processes (Q1351456) (← links)
- Effective decomposability of sequential behaviours (Q1575536) (← links)
- CCS with Hennessy's merge has no finite-equational axiomatization (Q1763725) (← links)
- Decomposition orders -- another generalisation of the fundamental theorem of arithmetic (Q1781996) (← links)
- Timing and causality in process algebra (Q1924998) (← links)
- Team bisimilarity, and its associated modal logic, for BPP nets (Q2231652) (← links)
- HOCore in Coq (Q2945640) (← links)
- (Q3385650) (← links)
