scientific article; zbMATH DE number 3624758
From MaRDI portal
Publication:4187283
zbMath0402.68005MaRDI QIDQ4187283
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) General topics in the theory of software (68N01) Theory of operating systems (68N25)
Related Items (4)
Recursive programs and denotational semantics in absolute logics of programs ⋮ Towards a foundation for semantics in complete metric spaces ⋮ A denotational semantics for shared-memory parallelism and nondeterminism ⋮ A linear-history semantics for languages for distributed programming
This page was built for publication: