Quantitative information in the tuple space coordination model - Bravetti, Mario; Gorrieri, Roberto; Lucchi, Roberto; Zavattaro, Gianluigi (Theoretical Computer Science, 2005)