Pages that link to "Item:Q671672"
From MaRDI portal
The following pages link to On behavioural abstraction and behavioural satisfaction in higher-order logic (Q671672):
Displaying 12 items.
- Behavioural theories and the proof of behavioural properties (Q671500) (← links)
- Behavioural and abstractor specifications revisited (Q724932) (← links)
- Essential concepts of algebraic specification and program development (Q1377322) (← links)
- Proof systems for structured specifications with observability operators (Q1391730) (← links)
- The definition of Extended ML: A gentle introduction (Q1391731) (← links)
- Observational logic, constructor-based logic, and their duality. (Q1874280) (← links)
- Observational interpretations of hybrid dynamic logic with binders and silent transitions (Q1979970) (← links)
- Constructor-based observational logic (Q2369030) (← links)
- Closure properties for the class of behavioral models (Q2373706) (← links)
- From Algebras and Coalgebras to Dialgebras (Q4917045) (← links)
- On behavioural abstraction and behavioural satisfaction in higher-order logic (Q5096735) (← links)
- Behavioural reasoning for conditional equations (Q5430141) (← links)
