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):
Displayed 3 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)