To be published in STTT
[Abstract] ...... [Full Text] ...... [Appendix]
Specifications used in this paper (gzipped tar file)
Language | Abstraction Level | Auxilary Files | ||||
---|---|---|---|---|---|---|
Cospan | __0__ | __1__ | __2__ | __3__ | __4__ | |
Murphi | __1__ | __2__ | __3__ | __4__ | ||
Spin | __0__ | __1__ | __2__ | __3__ | __4__ | |
XMC | __1__ | __2__ | __3__ | __4__ | i.P |