Process algebra with five-valued logic
| Authors | |
|---|---|
| Publication date | 1999 |
| Journal | Australian Computer Science Communications |
| Volume | Issue number | 21 |
| Pages (from-to) | 128-143 |
| Organisations |
|
| Document type | Article |
| Note | Proceedings title: Proceedings of DMTCS'99 and CATS'99 Publisher: Springer Verlag Place of publication: Auckland Editors: M.J. Dinneen, C.S. Calude |
| Permalink to this page | |
