32 citations · 43 across the 2 of their papers we have counts for
1 paper · 1 filter
Gian Perrone, Søren Debois, Thomas Hildebrandt
We propose a mechanism for the vertical refinement of bigraphical reactive systems, based upon a mechanism for limiting observations and utilising the underlying categorical struct…