Pages that link to "Item:Q4279248"

The following pages link to Step bisimulation is pomset equivalence on a parallel language without explicit internal choice (Q4279248):

Displaying 3 items.

• An equational axiomatization for multi-exit iteration (Q1369097) (← links)
• The equational logic of fixed points (Q1391734) (← links)
• A Finite Axiomatization of Nondeterministic Regular Expressions (Q4943553) (← links)