Behavioural and abstractor specifications
From MaRDI portal
Publication:1916354
DOI10.1016/0167-6423(95)00014-3zbMath0853.68130OpenAlexW1980425977MaRDI QIDQ1916354
Michel Bidoit, Martin Wirsing, Rolf Hennicker
Publication date: 2 January 1997
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0167-6423(95)00014-3
Related Items
Formal design and verification of operational transformation algorithms for copies convergence, Observational logic, constructor-based logic, and their duality., Constructor-based observational logic, Closure properties for the class of behavioral models, Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach, Essential concepts of algebraic specification and program development, Proving the correctness of behavioural implementations, A short overview of Hidden Logic, Proof systems for structured specifications with observability operators, The definition of Extended ML: A gentle introduction, Foundations for structuring behavioural specifications, Observational interpretations of hybrid dynamic logic with binders and silent transitions, On behavioural abstraction and behavioural satisfaction in higher-order logic, From Algebras and Coalgebras to Dialgebras, Behavioural reasoning for conditional equations, Behavioural and abstractor specifications revisited, Observational interpretation of Casl specifications, Swinging types=functions+relations+transition systems, A hidden agenda, Towards Behavioral Maude, A Homage to Martin Wirsing, The Foundational Legacy of ASL, Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms, On institutions for modular coalgebraic specifications.
