From Algebra to Operational Semantics

C. A. R. Hoare‚ Jifeng He and Augusto Sampaio

Note

Longer version of paper in IPL 45(2):75–80‚ 1993‚ doi 10.1016/0020−0190(93)90219−Y; undated

Year

1993?

Links