most citedA CSP implementation of the directed bigraph embedding problem

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2020★ 1 cited

A CSP implementation of the directed bigraph embedding problem

Alessio Chiapperini, Marino Miculan, Marco Peressotti

Directed bigraphs are a meta-model which generalises Milner's bigraphs by taking into account the request flow between controls and names. A key problem about these bigraphs is tha…