Original language | English |
---|---|
Title of host publication | Computing science in the Netherlands, CSN 88 : Jaarbeurs Utrecht, 3-4 November 1988 : proceedings, deel 2 |
Place of Publication | Amsterdam |
Publisher | Centrum voor Wiskunde en Informatica |
Pages | 279-294 |
Publication status | Published - 1988 |
Recursive process definitions with the state operator
J.C.M. Baeten, J.A. Bergstra
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
86
Downloads
(Pure)