scientific article; zbMATH DE number 1231470

MaRDI QIDQ4222772zbMATH OpenFDO

Authors Michael Mislove

Publication date 10 December 1998

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume1.htm#mislove

zbMATH Keywords

models of languagesunbounded nondeterminism

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Extensional and intensional semantics of bounded and unbounded nondeterminism
• scientific article; zbMATH DE number 4123706
• Nondeterministic extensions of untyped \(\lambda\)-calculus
• scientific article; zbMATH DE number 1948157
• Model-complete theories of bounded unars
• scientific article; zbMATH DE number 3943004
• On Models of a Nondeterministic Computation
• A Bicategorical Model for Finite Nondeterminism
• scientific article; zbMATH DE number 4037825

Cited in

(8)

• Model-complete theories of bounded unars
• Denotational models for programming languages: Applications of Banach's fixed point theorem
• scientific article; zbMATH DE number 3943004 (Why is no real title available?)
• scientific article; zbMATH DE number 4123706 (Why is no real title available?)
• Unbounded Non-determinism in CSP
• Sequential algorithms for unbounded nondeterminism
• A Bicategorical Model for Finite Nondeterminism
• Modelling higher-order dual nondeterminacy

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4222772)