scientific article
From MaRDI portal
Publication:3938468
zbMath0479.68017MaRDI QIDQ3938468
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
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, Functorial theory of parameterized specifications in a general specification framework, Specifications in an arbitrary institution, Essential concepts of algebraic specification and program development, Observational implementations, A decade of TAPSOFT, Proof systems for structured specifications with observability operators, The definition of Extended ML: A gentle introduction, Foundations for structuring behavioural specifications, Coinduction for preordered algebra, Observational implementation of algebraic specifications, Observational interpretations of hybrid dynamic logic with binders and silent transitions, Observational specifications and the indistinguishability assumption, On the correctness of modular systems, CafeOBJ Traces, Behavioral Rewrite Systems and Behavioral Productivity, Behavioral abstraction is hiding information, Behavioural and abstractor specifications revisited, Toward formal development of programs from algebraic specifications: Model-theoretic foundations, Towards Behavioral Maude, Simplified Coalgebraic Trace Equivalence, The Foundational Legacy of ASL, A hidden Herbrand theorem: Combining the object and logic paradigms, Two impossibility theorems on behaviour specification of abstract data types
