scientific article
From MaRDI portal
Publication:3975038
zbMath0792.68100MaRDI QIDQ3975038
Publication date: 26 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Closure properties for the class of behavioral models, Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach, Quasi-Boolean encodings and conditionals in algebraic specification, Categorical shape theory as a formal language for pattern recognition?, A short overview of Hidden Logic, Foundations for structuring behavioural specifications, Partialising institutions, Behavioral abstraction is hiding information, Semantic constructions for the specification of objects, A semantic approach to interpolation, Sheaves, Objects, and Distributed Systems, A hidden agenda, Towards Behavioral Maude, Behavioural specification for hierarchical object composition, Semantics of temporal classes, A hidden Herbrand theorem: Combining the object and logic paradigms, An Institutional Theory for #-Components, Object inheritance beyond subtyping
