TY - CPAPER AU - Albert Albiol, Elvira AU - Correas Fernández, Jesús AU - Martín Martín, Enrique AU - Román Díez, Guillermo PY - 2014 UR - https://hdl.handle.net/20.500.14352/36146 AB - We present a static analysis to infer the amount of data that a distributed system may ransmit. The different locations of a distributed system communicate and coordinate their actions by posting tasks among them. A task is posted by building a... LA - eng M2 - 104 TI - Static Inference of Transmission Data Sizesin Distributed Systems TY - conference paper ER -