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 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