2002-12-02
Linearization in $\mu$CRL
Publication
Publication
| Additional Metadata | |
|---|---|
| J.F. Groote (Jan Friso) , W.J. Fokkink (Wan) | |
| Technische Universiteit Eindhoven | |
| doi.org/10.6100/IR560176 | |
| Institute for Programming research and Algorithmics Dissertation Series ; 2002-16 | |
|
Usenko, Y. (2002, December 2). Linearization in $\mu$CRL. IPA dissertation series. Retrieved from http://dx.doi.org/10.6100/IR560176 |
|