Metric semantics for the input/output behaviour of sequential programs

Additional Metadata
Publisher	CWI
Editor	J.W. Klop (Jan Willem) , J.J.C. Meijer , J.J.M.M. Rutten (Jan)
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	Kok, J.N. (1989). Metric semantics for the input/output behaviour of sequential programs. In J.W Klop, J.J.C Meijer, & J.J.M.M Rutten (Eds.), J.W. de Bakker, 25 jaar semantiek (pp. 307–318). CWI.

Publication