Pages that link to "Item:Q1089796"
From MaRDI portal
The following pages link to On observational equivalence and algebraic specification (Q1089796):
Displayed 23 items.
- Behavioural theories and the proof of behavioural properties (Q671500) (← links)
- On behavioural abstraction and behavioural satisfaction in higher-order logic (Q671672) (← links)
- Observational specifications and the indistinguishability assumption (Q673973) (← links)
- On the correctness of modular systems (Q674009) (← links)
- Behavioral abstraction is hiding information (Q703529) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- Specifications in an arbitrary institution (Q1108775) (← links)
- Correctness of concurrent processes (Q1176236) (← links)
- Modularising the specification of a small database system in extended ML (Q1184686) (← links)
- Toward formal development of programs from algebraic specifications: Parameterisation revisited (Q1323357) (← links)
- Two impossibility theorems on behaviour specification of abstract data types (Q1323373) (← links)
- Behavioural approaches to algebraic specifications. A comparative study (Q1338907) (← links)
- Essential concepts of algebraic specification and program development (Q1377322) (← links)
- May I borrow your logic? (Transporting logical structures along maps) (Q1391728) (← links)
- Proof systems for structured specifications with observability operators (Q1391730) (← links)
- The definition of Extended ML: A gentle introduction (Q1391731) (← links)
- The behavior-realization adjunction and generalized homomorphic relations (Q1391868) (← links)
- Proof theory of higher-order equations: Conservativity, normal forms and term rewriting. (Q1401983) (← links)
- Prelogical relations (Q1854557) (← links)
- Observational logic, constructor-based logic, and their duality. (Q1874280) (← links)
- Category-based modularisation for equational logic programming (Q1901708) (← links)
- Constructor-based observational logic (Q2369030) (← links)
- Algebraic implementation of abstract data types: a survey of concepts and new compositionality results (Q4882492) (← links)