Pages that link to "Item:Q2971071"
From MaRDI portal
The following pages link to Expressiveness modulo bisimilarity of regular expressions with parallel composition (Q2971071):
Displaying 7 items.
- Natural projection as partial model checking (Q2208303) (← links)
- (Q5009710) (← links)
- (Q5014795) (← links)
- (Q5155681) (← links)
- (Q5856418) (← links)
- Sequencing and intermediate acceptance: Axiomatisation and decidability of bisimilarity (Q5875352) (← links)
- Pushdown Automata and Context-Free Grammars in Bisimulation Semantics (Q5883743) (← links)
