32 citations · 43 across the 2 of their papers we have counts for
2 papers
cs.SE2011★ 11 cited
Bigraphical Refinement
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…
cs.PL2010★ 32 cited
A Graphical Approach to Progress for Structured Communication in Web Services
Marco Carbone, Søren Debois
We investigate a graphical representation of session invocation interdependency in order to prove progress for the pi-calculus with sessions under the usual session typing discipli…