Recursive process definitions with the state operator

J.C.M. Baeten; J.A. Bergstra

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

70 Downloads (Pure)

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

Access to Document

589159Final published version, 843 KB

Cite this

@inproceedings{b4e4ba0738484613b6e7f90a60296f05,

title = "Recursive process definitions with the state operator",

author = "J.C.M. Baeten and J.A. Bergstra",

year = "1988",

language = "English",

pages = "279--294",

booktitle = "Computing science in the Netherlands, CSN 88 : Jaarbeurs Utrecht, 3-4 November 1988 : proceedings, deel 2",

publisher = "Centrum voor Wiskunde en Informatica",

}

Recursive process definitions with the state operator. / Baeten, J.C.M.; Bergstra, J.A.

Computing science in the Netherlands, CSN 88 : Jaarbeurs Utrecht, 3-4 November 1988 : proceedings, deel 2. Amsterdam : Centrum voor Wiskunde en Informatica, 1988. p. 279-294.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review