Pages that link to "Item:Q1575536"
From MaRDI portal
The following pages link to Effective decomposability of sequential behaviours (Q1575536):
Displaying 6 items.
- On the existence and decidability of unique decompositions of processes in the applied \(\pi\)-calculus (Q896922) (← links)
- Reconstructing sequential behavior from parallel behavior projections (Q1065542) (← links)
- Unique decomposition of processes (Q1208422) (← links)
- Deciding bisimulation-like equivalences with finite-state processes (Q5941202) (← links)
- Weak bisimilarity between finite-state systems and BPA or normed BPP is decidable in polynomial time (Q5958326) (← links)
- How to Parallelize sequential processes (Q6044125) (← links)