scientific article; zbMATH DE number 1418819
From MaRDI portal
Publication:4942101
zbMath0941.68637MaRDI QIDQ4942101
Răzvan Diaconescu, Joseph A. Goguen
Publication date: 2 April 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Ultraproducts and possible worlds semantics in institutions, Quasi-Boolean encodings and conditionals in algebraic specification, Stratified institutions and elementary homomorphisms, Specification of abstract dynamic-data types: A temporal logic approach, Foundations for structuring behavioural specifications, Coinduction for preordered algebra, Partialising institutions, Behavioral Rewrite Systems and Behavioral Productivity, Behavioral abstraction is hiding information, Semantic constructions for the specification of objects, Equational axiomatizability for coalgebra, Object oriented institutions to specify symbolic computation systems, Saturated models in institutions, A declarative framework for object-oriented programming with genetic inheritance, Sheaves, Objects, and Distributed Systems, Object-oriented hybrid systems of coalgebras plus monoid actions, Swinging types=functions+relations+transition systems, A hidden agenda, Towards Behavioral Maude, Behavioural specification for hierarchical object composition, A hidden Herbrand theorem: Combining the object and logic paradigms, Observational proofs by rewriting., Logical foundations of CafeOBJ
Uses Software
