A formal approach to the study of parameter passing mechanisms and non-determinism.

• Authors:

• Matthew C. B. Hennessy

• Affiliations:

• -

• Venue:
• A formal approach to the study of parameter passing mechanisms and non-determinism.
• Year:
• 1976