Pages that link to "Item:Q5878913"

The following pages link to Behavioural satisfaction and equivalence in concrete model categories (Q5878913):

Displaying 2 items.

• Behavioural theories and the proof of behavioural properties (Q671500) (← links)
• From static to dynamic abstract data-types: An institution transformation (Q1285655) (← links)