Choice quantification in process algebra

Additional Metadata
Promotor	J.A. Bergstra (Jan) , J.F. Groote (Jan Friso)
Degree Grantor	Universiteit van Amsterdam
ISBN	978-90-90-15624-8
Series	Institute for Programming research and Algorithmics Dissertation Series ; 2002-4
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Luttik, S.P. (2002, April 3). Choice quantification in process algebra (No. 2002-4). Institute for Programming research and Algorithmics Dissertation Series.

Publication