scientific article; zbMATH DE number 3635529
From MaRDI portal
Publication:4195975
zbMath0408.68074MaRDI QIDQ4195975
No author found.
Publication date: 1979
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
Structured algebraic specifications: A kernel language ⋮ On observational equivalence and algebraic specification ⋮ Pebble, a kernel language for modules and abstract data types ⋮ Specifications in an arbitrary institution ⋮ Mixed computation: potential applications and problems for study ⋮ Unnamed Item ⋮ Stack and locally finite transformations on structures with reversible transitions ⋮ A systematic study of models of abstract data types
