In praise of algebra
Open access
Datum
2012-07Typ
- Journal Article
Persistenter Link
https://doi.org/10.3929/ethz-b-000051403Publikationsstatus
publishedExterne Links
Zeitschrift / Serie
Formal Aspects of ComputingBand
Seiten / Artikelnummer
Verlag
Springer InternationalThema
Algebra; Refinement; ConcurrencyAnmerkungen
It was possible to publish this article open access thanks to a Swiss National Licence with the publisher