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 (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 ⋮ 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
This page was built for publication:
