Pages that link to "Item:Q1274456"
From MaRDI portal
The following pages link to A complete equational axiomatization for MPA with string iteration (Q1274456):
Displaying 4 items.
- A complete equational axiomatization for prefix iteration (Q1342264) (← links)
- An equational axiomatization for multi-exit iteration (Q1369097) (← links)
- Embedding Untimed into Timed Process Algebra; the Case for Explicit Termination (Q4917024) (← links)
- Non-regular iterators in process algebra (Q5958616) (← links)