scientific article; zbMATH DE number 3898213
From MaRDI portal
Publication:3677153
Recommendations
Cited in
(25)- Non-deterministic data types: Models and implementations
- Structured algebraic specifications: A kernel language
- Toward formal development of programs from algebraic specifications: Implementations revisited
- Union and actualization of module specifications: Some compatibility results
- Crypt-equivalent algebraic specifications
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
- Toward formal development of programs from algebraic specifications: Parameterisation revisited
- Behavioural approaches to algebraic specifications. A comparative study
- An algebraic characterization of observational equivalence
- Observational proofs by rewriting.
- Observational logic, constructor-based logic, and their duality.
- Behavioural and abstractor specifications
- Algebraic aspect of the observability property
- Constructor-based observational logic
- Observationally-induced algebras in domain theory
- An abstract equivalence notion for object models
- scientific article; zbMATH DE number 3878352 (Why is no real title available?)
- Linking algebraic observational equivalence and bisimulation
- scientific article; zbMATH DE number 3936496 (Why is no real title available?)
- scientific article; zbMATH DE number 2038889 (Why is no real title available?)
- scientific article; zbMATH DE number 2079877 (Why is no real title available?)
- scientific article; zbMATH DE number 785047 (Why is no real title available?)
- Observational implementations
- Observational specifications and the indistinguishability assumption
- Observational implementation of algebraic specifications
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3677153)
