The following pages link to Generic composition (Q1402466):
Displaying 8 items.
- Generic constructions for behavioral specifications (Q764311) (← links)
- A fixpoint theory for non-monotonic parallelism (Q1884887) (← links)
- Conditional composition (Q1906041) (← links)
- Semantic inheritance in unifying theories of programming (Q1941890) (← links)
- Junctive compositions of specifications in total and general correctness (Q2844814) (← links)
- (Q3769363) (← links)
- Generic saturation (Q4391429) (← links)
- (Q4816998) (← links)