In praise of algebra
- 期刊名称Formal Aspects of Computing
- 作者Hoare, Tony; Staden, Stephan
- 卷第24卷
- 印刷ISSN0934-5043
- 电子ISSN1433-299X
- 文件大小119.02KB
- 发表时间2012-07
- DOI10.1007/s00165-012-0249-0
- 页码423-431
同期刊推荐
Deterministic concurrent strategiesWinskel, Glynn · Formal Aspects of Computing · 2012
Exploring probabilistic bisimulations, part IHennessy, Matthew · Formal Aspects of Computing · 2012
In praise of algebraHoare, Tony; Staden, Stephan · Formal Aspects of Computing · 2012
PrefaceHöfner, P. · Formal Aspects of Computing · 2012
EditorialCooke, John · Formal Aspects of Computing · 1994
Properties of Concurrent ProgramsChandy, K. Mani · Formal Aspects of Computing · 1994
Sharing Analysis Based on Type InferenceMinamide, Yasuhiko · Formal Aspects of Computing · 1994
Unifying theories in ProofPower-ZOliveira, Marcel; Cavalcanti, Ana; Woodcock, Jim · Formal Aspects of Computing · 2013