TY  - JOUR
AU  - Albert Albiol, Elvira María
AU  - Correas Fernández, Jesús
AU  - Puebla, Germán
AU  - Román Díez, Guillermo
PY  - 2014
DO  - 10.1007/s00165-014-0321-z
SN  - 0934-5043
UR  - https://hdl.handle.net/20.500.14352/35112
T2  - Formal Aspects of Computing
AB  - When reasoning about distributed systems, it is essential to have information about the different kinds of nodes that compose the system, how many instances of each kind exist, and how nodes communicate with other nodes. In this paper we present a...
LA  - eng
M2  - 665
PB  - Springer
KW  - Static analysis
KW  - Cost analysis
KW  - Distributed systems
TI  - Quantified Abstract Configurations of Distributed Systems
TY  - journal article
VL  - 27
ER  -