Pages that link to "Item:Q5044722"

The following pages link to Compositionality results for different types of parameterization and parameter passing in specification languages (Q5044722):

Displaying 2 items.

• Functorial theory of parameterized specifications in a general specification framework (Q1346622) (← links)
• Detecting equivalence of modular specifications with categorical diagrams (Q1583247) (← links)