[1]
Mansutti, A. et al. 2015. Distributed execution of bigraphical reactive systems.
Electronic Communications of the EASST
. 71, (Sep. 2015). DOI:https://doi.org/10.14279/tuj.eceasst.71.994.