In praise of algebra

Thumbnail
Metadata only
Author
Hoare, Tony
Staden, Stephan van
Date
2012-07
Type
  • Journal Article
Publication status
published
External links
Search via SFX
Journal / series
Formal aspects of computing
Volume
24(4-6)
Pages / Article No.
423 - 431
Publisher
Springer International
Subject
Algebra; Refinement; Concurrency
Notes
.
More
Show all metadata
Citations
Cited 8 times in Web of Science
ETH Bibliography
yes
Altmetrics