scientific article

zbMath0462.68063MaRDI QIDQ3912057

Manfred Broy, Martin Wirsing

Publication date: 1981

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

semantic modelsabstract types

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) General topics in the theory of software (68N01)

Related Items (13)

Structured algebraic specifications: A kernel language ⋮ A theory for nondeterminism, parallelism, communication, and concurrency ⋮ Extending Bachmair's method for proof by consistency to the final algebra ⋮ Rewriting with a nondeterministic choice operator ⋮ Generated models and the ω-rule: The nondeterministic case ⋮ Partial abstract types ⋮ Unnamed Item ⋮ Behavioural theories and the proof of behavioural properties ⋮ Division by Zero in Common Meadows ⋮ Logical Relations and Nondeterminism ⋮ Non-deterministic data types: Models and implementations ⋮ Rewrite systems on a lattice of types ⋮ A complete axiomatic semantics of spawning

This page was built for publication: