TY - RPRT TI - Toward a Formal Semantics for Autonomic Components AU - Marco Aldinucci AU - Emilio Tuosto PY - 2010 DO - 10.1007/978-0-387-09455-7_3 UR - https://arxiv.org/abs/1002.2722 ID - 1002.2722 ER -