TY - RPRT TI - Distributed execution of bigraphical reactive systems AU - Alessio Mansutti AU - Marino Miculan AU - Marco Peressotti PY - 2015 UR - https://arxiv.org/abs/1503.02434 ID - 1503.02434 ER -