scientific article; zbMATH DE number 1487499
From MaRDI portal
Publication:4493908
zbMath0953.68094MaRDI QIDQ4493908
Joseph A. Goguen, Grigore Roşu
Publication date: 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
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 ⋮ Stratified institutions and elementary homomorphisms ⋮ Herbrand theorems in arbitrary institutions ⋮ A short overview of Hidden Logic ⋮ Observational interpretations of hybrid dynamic logic with binders and silent transitions ⋮ Observational Refinement Process ⋮ Behavioral abstraction is hiding information ⋮ Object oriented institutions to specify symbolic computation systems ⋮ Behavioural and abstractor specifications revisited ⋮ 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.
Uses Software
