Algebraic derivation of an operational semantics

• Authors:

• C. A. R. Hoare;He Jifeng;Augusto Sampaio

• Affiliations:

• -;-;-

• Venue:
• Proof, language, and interaction
• Year:
• 2000