Pages that link to "Item:Q724932"
From MaRDI portal
The following pages link to Behavioural and abstractor specifications revisited (Q724932):
Displaying 8 items.
- Behavioural theories and the proof of behavioural properties (Q671500) (← links)
- On behavioural abstraction and behavioural satisfaction in higher-order logic (Q671672) (← links)
- Behavioural and abstractor specifications for a dynamic logic with binders and silent transitions (Q777876) (← links)
- Abstract interface behavior of object-oriented languages with monitors (Q1015384) (← links)
- Behavioural and abstractor specifications (Q1916354) (← links)
- Observational interpretations of hybrid dynamic logic with binders and silent transitions (Q1979970) (← links)
- Formal Methods for Components and Objects (Q5897123) (← links)
- Structured specification of paraconsistent transition systems (Q6536437) (← links)