Pages that link to "Item:Q3545273"
From MaRDI portal
The following pages link to A ground-complete axiomatisation of finite-state processes in a generic process algebra (Q3545273):
Displaying 8 items.
- Axiomatizing Lüttgen \& Vogler's ready simulation for finite processes in \(\mathrm{CLL}_{R}\) (Q893593) (← links)
- Encoding safety in \(\mathrm{CLL}_R\) (Q2055960) (← links)
- Team equivalences for finite-state machines with silent moves (Q2216117) (← links)
- Probabilistic software product lines (Q2329442) (← links)
- (Q4037400) (← links)
- Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types (Q5041094) (← links)
- On recursive operations over logic LTS (Q5740660) (← links)
- (Q5856402) (← links)