The following pages link to (Q3666260):
Displayed 24 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)
- A set-theoretic semantics for Clear (Q791329) (← links)
- Non-deterministic data types: Models and implementations (Q1058286) (← links)
- Structured algebraic specifications: A kernel language (Q1080652) (← links)
- On the implementation of abstract data types by programming language constructs (Q1089793) (← links)
- On observational equivalence and algebraic specification (Q1089796) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- A characterization of passing compatibility for parameterized specifications (Q1090101) (← links)
- Specifications in an arbitrary institution (Q1108775) (← links)
- Correctness proofs for abstract implementations (Q1119388) (← links)
- Contextual rewriting as a sound and complete proof method for conditional LOG-specifications (Q1323311) (← links)
- Toward formal development of programs from algebraic specifications: Parameterisation revisited (Q1323357) (← links)
- Structured theory presentations and logic representations (Q1326777) (← links)
- Essential concepts of algebraic specification and program development (Q1377322) (← links)
- Proof systems for structured specifications with observability operators (Q1391730) (← links)
- Modular specification of process algebras (Q1802074) (← links)
- CASL: the Common Algebraic Specification Language. (Q1853453) (← links)
- Structured theories and institutions (Q1884906) (← links)
- (Q3482823) (← links)
- (Q4510453) (← links)
- (Q4512408) (← links)
- (Q4525557) (← links)