Pages that link to "Item:Q1916354"
From MaRDI portal
The following pages link to Behavioural and abstractor specifications (Q1916354):
Displaying 28 items.
- Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach (Q301373) (← links)
- Foundations for structuring behavioural specifications (Q406465) (← links)
- On behavioural abstraction and behavioural satisfaction in higher-order logic (Q671672) (← links)
- Behavioural and abstractor specifications revisited (Q724932) (← links)
- Behavioural and abstractor specifications for a dynamic logic with binders and silent transitions (Q777876) (← links)
- Formal design and verification of operational transformation algorithms for copies convergence (Q820129) (← links)
- Abstract interface behavior of object-oriented languages with monitors (Q1015384) (← links)
- Behavioural approaches to algebraic specifications. A comparative study (Q1338907) (← 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)
- Swinging types=functions+relations+transition systems (Q1575635) (← links)
- A hidden agenda (Q1575735) (← links)
- On institutions for modular coalgebraic specifications. (Q1603816) (← 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)
- Towards behavioral Maude: behavioral membership equational logic (Q2842559) (← links)
- Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms (Q3434613) (← links)
- A short overview of Hidden Logic (Q4586416) (← links)
- From Algebras and Coalgebras to Dialgebras (Q4917045) (← links)
- Proving the correctness of behavioural implementations (Q5096383) (← links)
- A Homage to Martin Wirsing (Q5256328) (← links)
- The Foundational Legacy of ASL (Q5256352) (← links)
- Behavioural reasoning for conditional equations (Q5430141) (← links)
- Observational interpretation of Casl specifications (Q5458070) (← links)
- Formal Methods for Components and Objects (Q5897123) (← links)
