
Open access
Date
2012-07Type
- Journal Article
Permanent link
https://doi.org/10.3929/ethz-b-000051403Publication status
publishedExternal links
Journal / series
Formal Aspects of ComputingVolume
Pages / Article No.
Publisher
Springer InternationalSubject
Algebra; Refinement; ConcurrencyNotes
It was possible to publish this article open access thanks to a Swiss National Licence with the publisherMore
Show all metadata