Pages that link to "Item:Q1970200"
From MaRDI portal
The following pages link to Models of nondeterministic regular expressions (Q1970200):
Displaying 5 items.
- Revisiting sequential composition in process calculi (Q890611) (← links)
- Nondeterministic regular expressions as solutions of equational systems. (Q1401324) (← links)
- Resource bisimilarity and graded bisimilarity coincide (Q1944040) (← links)
- A Finite Axiomatization of Nondeterministic Regular Expressions (Q4943553) (← links)
- Resource Bisimilarity in Petri Nets is Decidable (Q5038572) (← links)