scientific article; zbMATH DE number 512793

From MaRDI portal

Revision as of 18:18, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4281486

Jump to:navigation, search

zbMath0788.68092MaRDI QIDQ4281486

Kurt Sieber

Publication date: 2 June 1994

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

zbMATH Keywords

operational semantics full abstraction nondeterministic programs powerdomain semantics

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)

Related Items (5)

The convex powerdomain in a category of posets realized by cpos ⋮ Non-determinism in Gödel's system \(T\) ⋮ Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting ⋮ Full abstractness for a functional/concurrent language with higher-order value-passing ⋮ Logical Relations and Nondeterminism

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4281486&oldid=18202730"