scientific article; zbMATH DE number 1543338
From MaRDI portal
Publication:4520814
zbMath0963.68104MaRDI QIDQ4520814
Răzvan Diaconescu, Kokichi Futatsugi
Publication date: 27 February 2001
Full work available at URL: http://www.jucs.org/jucs_6_1/behavioural_coherence_in_object
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, A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler, Quasi-Boolean encodings and conditionals in algebraic specification, Stratified institutions and elementary homomorphisms, Herbrand theorems in arbitrary institutions, A short overview of Hidden Logic, Foundations for structuring behavioural specifications, Coinduction for preordered algebra, CafeOBJ Traces, Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs, Observational Refinement Process, Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems, A Maude environment for CafeOBJ, Unnamed Item, Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications, Behavioral abstraction is hiding information, Semantic constructions for the specification of objects, Equational axiomatizability for coalgebra, Towards Behavioral Maude, Behavioural specification for hierarchical object composition, A hidden Herbrand theorem: Combining the object and logic paradigms, On institutions for modular coalgebraic specifications., Logical foundations of CafeOBJ