Technical correspondence: on nondeterministic programs

• Authors:

• Carl E. Landwehr

• Affiliations:

• Code 7593, Naval Research Laboratory, Washington, DC

• Venue:
• Communications of the ACM
• Year:
• 1982