scientific article; zbMATH DE number 3902001

zbMATH Open0565.68008MaRDI QIDQ3680245FDOQ3680245

Authors: Charles Halpern, William D. Clinger 

Publication date: 1985

Title of this publication is not available (Why is that?)

Recommendations

• Amb Breaks Well-Pointedness, Ground Amb Doesn't
• scientific article; zbMATH DE number 1418339
• scientific article; zbMATH DE number 4092750
• Interaction nets with McCarthy's \(\mathsf{amb}\)
• On the representation of McCarthy's \(amb\) in the \(\pi\)-calculus

zbMATH Keywords

semanticspower domainsrewrite rulesalgebra of nondeterministic programsambiguous operator ambErratic choicelocally angelic choice operator

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (2)

• Extracting total Amb programs from proofs
• Actor grammars

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 Q3680245)