scientific article; zbMATH DE number 3754008

Cited in

(28)

Structured algebraic specifications: A kernel language
Algebraic specification of modules and their basic interconnections
On observational equivalence and algebraic specification
Toward formal development of programs from algebraic specifications: Implementations revisited
Union and actualization of module specifications: Some compatibility results
Specifications in an arbitrary institution
Two impossibility theorems on behaviour specification of abstract data types
Functorial theory of parameterized specifications in a general specification framework
Essential concepts of algebraic specification and program development
Proof systems for structured specifications with observability operators
The definition of Extended ML: A gentle introduction
A hidden Herbrand theorem: Combining the object and logic paradigms
Observational interpretations of hybrid dynamic logic with binders and silent transitions
Towards behavioral Maude: behavioral membership equational logic
Foundations for structuring behavioural specifications
Observational implementations
A decade of TAPSOFT. Aspects of progress and prospects in theory and practice of software development
Toward formal development of programs from algebraic specifications: model-theoretic foundations
Simplified coalgebraic trace equivalence
The foundational legacy of ASL
CafeOBJ Traces
Behavioral rewrite systems and behavioral productivity
Coinduction for preordered algebra
Observational specifications and the indistinguishability assumption
On the correctness of modular systems
Behavioral abstraction is hiding information
Behavioural and abstractor specifications revisited
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 Q3938468)