Polarized Process Algebra and Program Equivalence
| Authors | |
|---|---|
| Publication date | 2003 |
| Host editors |
|
| Book title | Automata, Languages and Programming, 30th International Colloquium, ICALP 2003 |
| Event | ICALP 2003 |
| Volume | Issue number | 2719 |
| Pages (from-to) | 1-21 |
| Publisher | The Netherlands: Springer |
| Organisations |
|
| Document type | Conference contribution |
| Permalink to this page | |
