Pages that link to "Item:Q910188"
From MaRDI portal
The following pages link to Combining data type and recursive process specifications using projection algebras (Q910188):
Displaying 7 items.
- Denotational linear time semantics and sequential composition (Q671406) (← links)
- Functorial theory of parameterized specifications in a general specification framework (Q1346622) (← links)
- The connection between initial and unique solutions of domain equations in the partial order and metric approach (Q1377300) (← links)
- Uniform Completion versus Ideal Completion of Posets with Projections (Q4923375) (← links)
- Quasi-injectivity of partially ordered acts (Q5062321) (← links)
- Quasi injectivity and<i>θ</i>-internal order sum in partially ordered acts (Q5743100) (← links)
- Down closed-quasi-injectivity of partially ordered acts (Q6185922) (← links)
