Equivalence of recursive specifications in process algebra
| Authors |
|
|---|---|
| Publication date | 2001 |
| Journal | Information Processing Letters |
| Volume | Issue number | 80 | 1 |
| Pages (from-to) | 59-65 |
| Number of pages | 7 |
| Organisations |
|
| Document type | Article |
| Published at | https://doi.org/10.1016/S0020-0190(01)00218-6 |
| Permalink to this page | |
