scientific article
From MaRDI portal
zbMath0661.68017MaRDI QIDQ3811687
Hartmut Ehrig, Paul Boehm, Catharina Rieckhoff, Cristian Dimitrovici, Franceso Parisi-Presicce, Martin Grosse-Rhode
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algebraic semanticsprojection algebrasprocess specificationsalgebraic data typesmetric completion of process algebrassemantics of nonterminating processes
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Data structures (68P05) Categories of algebras (08C05)
Related Items
On \(m\)-separated projection spaces, Rewrite, rewrite, rewrite, rewrite, rewrite, \dots, Topological methods for algebraic specification, Observational structures and their logic, Sequentially dense essential monomorphisms of acts over semigroups, On functions preserving levels of approximation: A refined model construction for various lambda calculi, Down closed injectivity and essentialness
