Pages that link to "Item:Q1228463"
From MaRDI portal
The following pages link to Parallel realization of systems, using factorizations and quotients in categories (Q1228463):
Displaying 10 items.
- Correctness of recursive parallel nondeterministic flow programs (Q789165) (← links)
- A systematic study of models of abstract data types (Q801667) (← links)
- Closure functions and general iterates as reflectors (Q808275) (← links)
- Parameter passing in algebraic specification languages (Q1056226) (← links)
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories (Q1059404) (← links)
- Final algebra semantics and data type extensions (Q1131834) (← links)
- More on advice on structuring compilers and proving them correct (Q1156472) (← links)
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories (Q1183597) (← links)
- Functorial theory of parameterized specifications in a general specification framework (Q1346622) (← links)
- A simple transfer lemma for algebraic specifications (Q5905240) (← links)
