Marco Gaboardi, Romain Péchoux. Upper Bounds on Stream I/O Using Semantic Interpretations.
23rd international Workshop on Computer Science Logic, CSL 2009, 18th Annual Conference of the EACSL, Sep 2009, Coimbra, Portugal. pp.271-286,
⟨10.1007/978-3-642-04027-6_21⟩.
⟨inria-00431469⟩