Algebra Unifies Operational Calculi

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35705-3_4 ◽

2013 ◽

pp. 88-104 ◽

Cited By ~ 4

Author(s):

Stephan van Staden ◽

Tony Hoare

Download Full-text